GitHub repository: lurk-lab/Wasm.lean
Primary language: Lean
Description: A WebAssembly implementation in Lean4