AlphaUncommon
ongardie/raft.tla
TLA+ specification for the Raft consensus algorithm
- Owner
- ongardie (personal account)
- Stars
- Stars: 528
- Forks
- Forks: 98
- Language
- TLA
- License
- None
- Created
- 2014
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by ongardie
All 3 repos by ongardie- ongardie/dissertationStars: 1,095TeXBeta
- ongardie/raftscopeStars: 730JavaScriptBeta
Nearby in TLA
All TLA repos- tlaplus/ExamplesStars: 1,598TLABeta
- spacejam/tla-rustStars: 1,074TLABeta
- tlaplus/DrTLAPlusStars: 860TLABeta
- lemmy/BlockingQueueStars: 507TLAAlpha
- tlaplus/CommunityModulesStars: 318TLAAlpha
- pingcap/tla-plusStars: 314TLAAlpha