# spacejam/tla-rust [Accueil](https://repo.masters-masters.com/) › [spacejam](https://repo.masters-masters.com/owners/spacejam) › [tla-rust](https://repo.masters-masters.com/repos/spacejam/tla-rust) spacejam/tla-rust, dépôt open source à 1 074 étoiles sur GitHub. Carte Bêta de RepoMasters. writing correct lock-free and distributed stateful systems in… | Champ | Valeur | | --- | --- | | Propriétaire | [spacejam](https://repo.masters-masters.com/owners/spacejam) | | Étoiles | 1 074 | | Forks | 25 | | Langage | [TLA](https://repo.masters-masters.com/languages/tla) | | Licence | Aucune | | Création | 2017 | | Sujets | tla, rust, model-checking, lock-free, distributed | | Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) | | Voir sur GitHub | [spacejam/tla-rust](https://github.com/spacejam/tla-rust) | ## Fiche du dépôt writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+ Rang des dépôts qui ont 700 à 1 999 ★ sur GitHub. Probabilité publiée par carte tirée : 6 %. Rareté : Rare. ## Autres dépôts de spacejam - [spacejam/sled · ★ 9 104 · Rust · Stable](https://repo.masters-masters.com/repos/spacejam/sled) - [spacejam/rio · ★ 1 006 · Rust · Bêta](https://repo.masters-masters.com/repos/spacejam/rio) - [spacejam/extreme · ★ 165 · Rust · Prototype](https://repo.masters-masters.com/repos/spacejam/extreme) - [spacejam/paxos · ★ 144 · Rust · Prototype](https://repo.masters-masters.com/repos/spacejam/paxos) ## D’autres dépôts TLA - [tlaplus/Examples · ★ 1 598 · TLA · Bêta](https://repo.masters-masters.com/repos/tlaplus/Examples) - [tlaplus/DrTLAPlus · ★ 860 · TLA · Bêta](https://repo.masters-masters.com/repos/tlaplus/DrTLAPlus) - [ongardie/raft.tla · ★ 528 · TLA · Alpha](https://repo.masters-masters.com/repos/ongardie/raft.tla) - [lemmy/BlockingQueue · ★ 507 · TLA · Alpha](https://repo.masters-masters.com/repos/lemmy/BlockingQueue) --- Données : GitHub · Illustration : image publique du projet, pixelisée par RepoMasters.