Issues do repositório

spacejam/tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

Ver no GitHub
Stars
 (1.063 estrelas)
Forks
 (26 forks)
Issues indexadas
 (0 issue indexada)
issues iniciantes abertas
 (0 issue iniciante aberta)
Última indexação
12 de ago. de 2026
Último push no GitHub
23 de mai. de 2017
Licença
Nenhum dado de licença
Guia de contribuição
Nenhum guia de contribuição
Código de conduta
Nenhum código de conduta
Linguagem principal
TLA
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)
Labels para iniciantes
Nenhuma label para iniciantes indexada

Issues

0 issue indexada aberta

Nenhum issues indexado aberto encontrado para este repositório.