AlphaPeu commune
ongardie/raft.tla
TLA+ specification for the Raft consensus algorithm
- Propriétaire
- ongardie (compte personnel)
- Étoiles
- Étoiles : 528
- Forks
- Forks : 98
- Langage
- TLA
- Licence
- Aucune
- Création
- 2014
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de ongardie
Les 3 dépôts de ongardie- ongardie/dissertationÉtoiles : 1 095TeXBêta
- ongardie/raftscopeÉtoiles : 730JavaScriptBêta
D’autres dépôts TLA
Tous les dépôts TLA- tlaplus/ExamplesÉtoiles : 1 598TLABêta
- spacejam/tla-rustÉtoiles : 1 074TLABêta
- tlaplus/DrTLAPlusÉtoiles : 860TLABêta
- lemmy/BlockingQueueÉtoiles : 507TLAAlpha
- tlaplus/CommunityModulesÉtoiles : 318TLAAlpha
- pingcap/tla-plusÉtoiles : 314TLAAlpha