Existe uma alternativa gratuita e open source ao TLC?

Sim. As alternativas open source ao TLC mais populares no Repolode são tla-ts.

Qual alternativa ao TLC devo escolher?

tla-ts tem mais estrelas no GitHub e usa a licença MIT. Compare a licença e o último commit de cada opção na tabela acima antes de escolher.

1 alternativa

As melhores alternativas open source ao TLC (2026)

Procurando uma alternativa gratuita e open source ao TLC? Estes 1 projetos podem substituí-lo. Cada um passou pelo nosso filtro de qualidade e é explicado em palavras simples, para comparar estrelas, licença e manutenção de relance.

Comparação rápida

Projeto	Estrelas	Licença	Último commit
aidenybai/tla-ts	★ 232	MIT	anteontem

aidenybai / tla-ts

GitHub

Implementação em TypeScript do interpretador e verificador de modelos TLA+, substituta direta do TLC em Java que roda em navegadores, Node e Bun.

Ferramentas para desenvolvedores #formal-verification#tlaplus#typescript#model-checking#theorem-proving

232+41 esta semana9TypeScriptMITBem mantidoAtualizado anteontem

Perguntas frequentes

Existe uma alternativa gratuita e open source ao TLC?: Sim. As alternativas open source ao TLC mais populares no Repolode são tla-ts.
Qual alternativa ao TLC devo escolher?: tla-ts tem mais estrelas no GitHub e usa a licença MIT. Compare a licença e o último commit de cada opção na tabela acima antes de escolher.

Como esta lista é feita: a IA lê a documentação de cada projeto para ver quais produtos ele pode substituir, todos passam pela nossa avaliação de qualidade e a ordem segue as estrelas no GitHub. Estrelas atualizadas: 6 de nov. de 2026. Como o Repolode funciona

← Alternativas open source a softwares populares