Lasm
Open-source (MIT) compiler that turns ordinary Lean 4 programs into WebAssembly so one formally verifiable code base can ship as a Node server, AWS Lambda, Vercel, Netlify or Azure function, edge or WASI module, or a browser app, with Lean frameworks for HTTP, UI, typed RPC, DOM and KV plus JS/npm interop. Ships on npm with Lean bundled (npm create @lasm@latest); its RealWorld example carries 117 proved theorems. Early (0.3.x).
- Category
- Frameworks & Dev ToolsWeb frameworks, local developer utilities and tooling around AI coding agents.
- Website
- github.comOfficial site, opens in a new tab.
- Pricing
- See official siteWe only list verified pricing.
Built Lasm? Get featured
Similar tools.
Proa
Batteries-included Rust web framework with fast server rendering and multi-target rendering (HTML, Markdown and more) from one typed component.
Sygal
Local-first Mac and Windows app plus CLI that converts PDFs, Office files, scans and web pages into clean Markdown or JSON for AI prompts and pipelines.
Weatherdeck
Open-source, read-only status board for TV or phone showing what your AI coding agent lanes and machines are doing and what is waiting on you.
Sphinx
Free, MIT-licensed Git hook that quizzes you on what your coding agent's diff actually does before a push to protected branches goes through; works with Claude Code, Codex, Cursor or plain Git.
The 2 biggest AI stories, every morning.
One short email: the two stories that matter, and why.
You're in.
The Daily AI Brief will land in your inbox soon. If you don't see it, check Promotions or Spam and move it to your main inbox.