Issue del repository

spacejam/tla-rust

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

Vedi su GitHub
Star
 (1063 stelle)
Fork
 (26 fork)
Issue indicizzate
 (0 issue indicizzate)
issue per principianti aperte
 (0 issue per principianti aperte)
Ultima indicizzazione
12 ago 2026
Ultimo push GitHub
23 mag 2017
Licenza
Nessun dato sulla licenza
Guida contributori
Nessuna guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
TLA
Metriche merge PR
 (Nessuna PR mergiata in 30 g)
Label per principianti
Nessuna label per principianti indicizzata

Issue

0 issue indicizzate aperte

Nessuna issue indicizzata aperta trovata per questo repository.