Millillion / lasm
git clone https://github.com/Millillion/lasm.git
v0.3.5 · 4d ago
Lasm is a compiler that turns Lean 4 programs ahead of time into WebAssembly for Node, edge, serverless, WASI and browser targets.
Why you might care
Aimed at developers who want one Lean codebase deployed to Node servers, serverless or edge functions, WASI modules, or browser apps. Ships on npm with Lean and Lake bundled, so only Node, Bun, or Deno is required, and proofs in Lean can cover the deployed code.
+2
stars, 24h · #14,080
+~130
stars, 7 days · #2,334
+~555
stars, 30 days · #1,837
87
★ total · +130% this week
5
forks · 5 open issues
Star history (as recorded here)
LanguageC
LicenseMIT
Created2026-09-23 (1mo ago)
Last push1d ago
Watchers4
OwnerOrganization
GitHub topics
buncloudflare-workerscompilerdenodependent-typesedge-computingformal-verificationfull-stackfunctional-programmingjavascriptleanlean4nodejsruntimeserverlesstheorem-provingwasiwasmwebassembly
Links
- GitHub: github.com/Millillion/lasm
- Homepage: https://www.npmjs.com/package/@lasm/cli
- Releases · Issues · Hacker News mentions
README
Loading README…
Blurb generated by claude-haiku-5-5 1d ago. Star deltas marked ~ are extrapolated from partial history.