aidenybai/tla-ts
Herramienta de terminal
¿Es de fiar?
Conviene mirarlo con calma antes de usarlo.
Avisos Revisa
Muy nuevo: se creó hace 3 días. Espera un poco antes de instalarlo.
Estrellas de cuentas reales Sin datos
Todavía no hemos comprobado si sus estrellas son falsas.
Activo Bien
Último cambio hoy.
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
Un intérprete y comprobador de modelos para especificaciones TLA+ escrito en TypeScript, pensado como sustituto directo de TLC que funciona en navegadores, Node y Bun sin necesidad de la JVM. Incluye una herramienta de línea de comandos y una API para comprobar especificaciones…
Para quién es
Desarrolladores e ingenieros que escriben especificaciones formales en TLA+ y quieren comprobarlas como modelos en entornos JavaScript
Cómo usarlo
Instalación
npm install tla-tsSacado 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 aidenybai/tla-ts en mi proyecto. Sigue su README: https://github.com/aidenybai/tla-ts. Explícame cada paso y comprueba que es seguro antes de ejecutar nada.
Curva de estrellas
Alternativas
Proyectos parecidos que cita su ficha. Cada enlace busca en el directorio.
Recibe alertas de repos como este
Te escribimos cuando repos como este empiecen a subir. Gratis, una vez por semana, solo lo que encaja.
22.183 repos de GitHub vigilados y ordenados cada hora. Cifras a 29 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/aidenybai/tla-ts?ref=badge)Repos parecidos
- vercel-labs/tsc-ts
Un port experimental del compilador de TypeScript 7.0.2 (TypeScript-Go), escrito en TypeScript y compilado a código nativo con scriptc. Incluye una línea de comandos tsc-ts y un servidor --api compati
- oxc-project/tsrs
Un reemplazo compatible, escrito en Rust, del compilador y del servidor de lenguaje de TypeScript 7, que busca la plena conformidad con menor consumo de memoria y comprobación de tipos más rápida. Act
- t3dotgg/tstack
Una colección de skills para agentes en Claude Code y Codex que cubren flujos de trabajo con pull requests: abrir y vigilar PRs, retomar PRs antiguos, revisiones en bucle con varios modelos y formato
- colinhacks/motherload
Un conjunto de cargadores para TypeScript que permiten importar archivos TOML, YAML, JSONC, JSON5, CSV, TSV, Markdown, texto y .env como módulos tipados. Se basa en los content mappers de TypeScript 7
- T-Auto/dsh-ops
Un plugin para DSH que añade herramientas acotadas de lectura de archivos y documentos, incluida la lectura de CSV/TSV, texto de DOCX y capas de texto limitadas de PDF. El modo Native devuelve texto c
- yielded-dev/effect-tsrs
Un port en Rust de los diagnósticos del Effect Language Service, construido sobre tsrs. Ofrece un ejecutor de diagnósticos por línea de comandos y linting con tipos mediante Oxlint, con las 130 reglas