Hacker News Front Page · lastmjs ·
Millillion/lasm: Lean for JavaScript and WebAssembly runtimes
Lasm compila programas de Lean 4 anticipadamente a WebAssembly y permite desplegarlos como aplicaciones de Node, funciones serverless y edge, módulos WASI o aplicaciones de navegador. El README describe sus herramientas, plataformas compatibles, integración con JavaScript y resultados de pruebas; destaca Conduit, una aplicación RealWorld con 117 teoremas demostrados, y aclara qué componentes y supuestos no están verificados. También presenta mediciones de rendimiento y limitaciones, como el mayor costo de arranque en Node y la ejecución monohilo en varios destinos.
Lean for JavaScript and WebAssembly runtimes. Contribute to Millillion/lasm development by creating an account on GitHub.