Thea Brick

c0deine. Reference compiler for c0

lean-wasm. Formalising the WASM spec in Lean

lean2wasm. Tool for compiling Lean to WASM

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

DateTime. DateTime package for Lean 4

ControlFlow. A control flow graph library for Lean

Numbers. Arbitrary Bit-Length Integers in Lean

c0_web_driver. JavaScript

LeanColls. WIP collections library for Lean 4

pauline. Lean formalization of SML, mainly for educational purposes