tlaplus/Examples
Ver no GitHubA collection of TLA⁺ specifications of varying complexities.
- Estrelas
- 1.6k
- Forks
- 224
- Issues abertas para iniciantes
- 0
- Issues indexadas
- 5
- Merge médio
- 7d 16h
- PRs com merge (30d)
- 4
- Linguagem predominante
- TLA
- Licença
- Sem dados de licença
- Último push no GitHub
- 15/9/2026
- Última indexação
- 19/9/2026
- Guia de contribuição
- Guia de contribuição
- Código de conduta
- Sem código de conduta
- Labels para iniciantes
- help wanted
5 issues abertas indexadas
Carregando issues
-
question
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 48/100
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 35/100
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
-
Bakery-Boulangerie specs don't satisfy `DeadlockFree` or `StarvationFree` liveness properties Aberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
-
help wanted
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100