Tópico · tla
tla
Repositórios de código aberto acompanhados marcados com tla, ordenados por estrelas.
Repositórios
3
Total de estrelas
4.127
Média de estrelas
1.376
Participação
0,00%
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de tla no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com tla.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1
TLC é um verificador de modelos para especificações escritas em TLA+. O TLA+Toolbox é uma IDE para TLA+.
★ 3.026+7Variação de estrelas nos últimos 7 dias - #2★ 596+2Variação de estrelas nos últimos 7 dias
- #3
Tutorial "Semanas de depuração podem poupar horas de TLA+". Cada commit do git introduz um novo conceito => verifique o histórico do git!
★ 506+0Variação de estrelas nos últimos 7 dias
