¿Existe una alternativa gratuita y open source a TLC?

Sí. Las alternativas open source a TLC más populares en Repolode son tla-ts.

¿Qué alternativa a TLC debería elegir?

tla-ts es la que tiene más estrellas en GitHub y usa la licencia MIT. Compara la licencia y el último commit de cada opción en la tabla anterior antes de elegir.

1 alternativa

Las mejores alternativas open source a TLC (2026)

¿Buscas una alternativa gratuita y open source a TLC? Estos 1 proyectos pueden reemplazarlo. Cada uno pasó nuestro filtro de calidad y está explicado con palabras sencillas, para comparar estrellas, licencia y mantenimiento de un vistazo.

Comparación rápida

Proyecto	Estrellas	Licencia	Último commit
aidenybai/tla-ts	★ 232	MIT	anteayer

aidenybai / tla-ts

GitHub

Implementación en TypeScript del intérprete y model checker de TLA+, como reemplazo directo de TLC que se ejecuta en navegadores, Node y Bun.

Herramientas para desarrolladores #formal-verification#tlaplus#typescript#model-checking#theorem-proving

232+41 esta semana9TypeScriptMITBien mantenidoActualizado anteayer

Preguntas frecuentes

¿Existe una alternativa gratuita y open source a TLC?: Sí. Las alternativas open source a TLC más populares en Repolode son tla-ts.
¿Qué alternativa a TLC debería elegir?: tla-ts es la que tiene más estrellas en GitHub y usa la licencia MIT. Compara la licencia y el último commit de cada opción en la tabla anterior antes de elegir.

Cómo se hace esta lista: la IA lee la documentación de cada proyecto para ver qué productos puede reemplazar, todos pasan nuestra revisión de calidad y se ordenan por estrellas de GitHub. Estrellas actualizadas: 6 nov 2026. Cómo funciona Repolode

← Alternativas open source a software popular