A0: typed programming language, compiler, and web docs
Joe Simo
Like this project
Posted Oct 23, 2026
A typed language for revision-checked edits, with a compiler to native, WebAssembly, and C, an LSP, an MCP server, and a Next.js docs and benchmark site.
