heidihoward / ocaml-raftLinks
Implementation of Raft consensus algorithm
☆112Updated 10 years ago
Alternatives and similar repositories for ocaml-raft
Users that are interested in ocaml-raft are comparing it to the libraries listed below
Sorting:
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆189Updated last year
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated last year
- FSCQ is a certified file system written and proven in Coq