Pinned Loading

1. c0deine c0deine Public

   Reference compiler for c0

   Lean 29 1

2. molasses molasses Public

   MLB support for CM (the SML/NJ Compilation and Library Manager)

   Standard ML 17 1

3. smlhelp/book smlhelp/book Public

   deployment for smlhelp page

   TeX 35 15

4. DateTime DateTime Public

   DateTime package for Lean 4

   Lean 11

5. lean-wasm lean-wasm Public

   Formalising the WASM spec in Lean

   Lean 17

6. JamesGallicchio/eternity2 JamesGallicchio/eternity2 Public

   Efficient encoding for edge matching puzzles, to solve the Eternity II puzzle

   Lean 4