Projects

• LasmLean 4 compiled ahead of time to WebAssembly.
• ProofScriptTypeScript with dependent types and formal verification.
• AyeYaiYaiAn ahead-of-time compiler from JavaScript to WebAssembly.