Millillion/lasm
Herramienta de terminal
¿Es de fiar?
Nuestras comprobaciones no ven nada raro.
Estrellas de cuentas reales Sin datos
Todavía no hemos comprobado si sus estrellas son falsas.
Activo Bien
Último cambio hace 2 días.
Licencia Bien
MIT: puedes usarlo gratis, también en un producto comercial. Conserva el aviso de licencia.
Comprobaciones rápidas con datos públicos. Ayudan, pero no son una garantía.
Qué es
Compilador que convierte programas Lean 4 ordinarios en WebAssembly de forma anticipada, de modo que una misma base de código en Lean puede ejecutarse como servidor Node, función serverless o edge, módulo WASI/Fastly o aplicación en el navegador. Se distribuye por npm con Lean y…
Para quién es
Desarrolladores que escriben aplicaciones backend o full-stack en Lean 4 y quieren desplegarlas en Node, serverless, edge o navegador
Cómo usarlo
Instalación
npm install -D @lasm/cliSacado de su README. Compruébalo allí antes de ejecutarlo.
Pide a tu IA que lo instale
Pega esto en Claude, ChatGPT o tu asistente de programación.
Ayúdame a instalar y configurar Millillion/lasm en mi proyecto. Sigue su README: https://github.com/Millillion/lasm. Explícame cada paso y comprueba que es seguro antes de ejecutar nada.
Curva de estrellas
En el radar
Fuera de los 100 primeros del radar en este periodo.
Su puesto entre los 100 primeros del radar, día a día, con el n.º 1 arriba. Los huecos son días en que estuvo fuera.
Logros
- En la portada de Hacker News el 30 oct 2026
En Hacker News
- Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge36 puntos · 20 comentarios · 30 oct 2026
Recibe alertas de repos como este
Te escribimos cuando algo de Infraestructura empiece a subir. Gratis, una vez por semana, solo lo que encaja.
23.097 repos de GitHub vigilados y ordenados cada hora. Cifras a 31 de octubre de 2026.
Qué te llega: un email los lunes con los repos que encajan, nunca más. Mira el de la semana pasada. Privacidad
Para quien mantiene el repo
Pon esta insignia en tu README. Muestra el puesto del repo en el radar, se actualiza cada hora y enlaza a esta página.
[](https://repoalerts.com/repo/Millillion/lasm?ref=badge)Repos parecidos
- zion-sati/NetWasm
Un compilador, CoreLib, runtime y SDK de .NET que compila C# y CIL de .NET directamente a WebAssembly pequeño y autónomo para hosts WASI, sin incluir el CLR de escritorio, Mono ni las DLL de la aplica
- mempage4k/glue5
Un conjunto de herramientas de recompilación y una capa de compatibilidad nativa escritas en Rust que traducen a C, en tiempo de compilación, la versión WebAssembly de GTA V y la ejecutan como aplicac
- flybrainlabs/miner
Motores de simulación nativos y WebAssembly para redes de neuronas de integración y disparo con fugas (LIF) deterministas y enteras, con workers de navegador, almacenamiento persistente de modelos y r
- stencil-hq/dquickts
Una bifurcación de QuickJS, el motor de JavaScript embebible, que puede suspender un programa en ejecución, serializar todo su heap a bytes y reanudarlo en otro proceso. Además ejecuta archivos TypeSc
- betterclever/wraithterm
Un terminal para el navegador que combina el motor de terminal libghostty-vt de Ghostty con un renderizador WebGPU escrito en Rust, todo en un único módulo Wasm. Ofrece una API compatible con xterm.js
- assetnote/node2shell-scanner
Herramienta de línea de comandos que comprueba si los endpoints HTTP de Node.js son vulnerables a CVE-2026-111497 (node2shell), enviando peticiones Brotli y JSON controladas y comparando las respuesta