uwplse/verdi-raft

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Coq

200

1,300 commits

updated Dec 8, 2023

See the code

consensus

coq

distributed-systems

key-value

proof

raft

verdi

Contributors

429 commits

397 commits

311 commits

50 commits

Languages

Coq

89.3%

Python

4.7%

OCaml

2.6%

Shell

1.5%

Ruby

1.2%