PrototypeCommune
uwplse/verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- Propriétaire
- uwplse (organisation)
- Étoiles
- Étoiles : 204
- Forks
- Forks : 19
- Langage
- Coq
- Licence
- BSD-2-Clause
- Création
- 2016
- Sujets
- raftverdicoqproofdistributed-systemsconsensuskey-value
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de uwplse
Les 5 dépôts de uwplse- uwplse/verdiÉtoiles : 627Rocq ProverAlpha
- uwplse/rulerÉtoiles : 158RustPrototype
- uwplse/tensatÉtoiles : 145RustPrototype
- uwplse/CassiusÉtoiles : 102RacketPrototype
D’autres dépôts Coq
Tous les dépôts Coq- sifive/KamiÉtoiles : 232CoqPrototype
- jscert/jscertÉtoiles : 208CoqPrototype
- barry-jay-personal/tree-calculusÉtoiles : 207CoqPrototype
- clarus/coq-chick-blogÉtoiles : 181CoqPrototype
- ilyasergey/pnpÉtoiles : 178CoqPrototype
- jwiegley/coq-haskellÉtoiles : 172CoqPrototype