PrototypeCommon
uwplse/verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- Owner
- uwplse (organization)
- Stars
- Stars: 204
- Forks
- Forks: 19
- Language
- Coq
- License
- BSD-2-Clause
- Created
- 2016
- Topics
- raftverdicoqproofdistributed-systemsconsensuskey-value
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by uwplse
All 5 repos by uwplse- uwplse/verdiStars: 627Rocq ProverAlpha
- uwplse/rulerStars: 158RustPrototype
- uwplse/tensatStars: 145RustPrototype
- uwplse/CassiusStars: 102RacketPrototype
Nearby in Coq
All Coq repos- sifive/KamiStars: 232CoqPrototype
- jscert/jscertStars: 208CoqPrototype
- barry-jay-personal/tree-calculusStars: 207CoqPrototype
- clarus/coq-chick-blogStars: 181CoqPrototype
- ilyasergey/pnpStars: 178CoqPrototype
- jwiegley/coq-haskellStars: 172CoqPrototype