verdi-raft
Distributed Consensus Protocol
An implementation of the Raft distributed consensus protocol verified in Coq
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
186 stars
55 watching
19 forks
Language: Coq
last commit: about 1 year ago
Linked from 2 awesome lists
consensuscoqdistributed-systemskey-valueproofraftverdi
coq-community/awesome-coq
uhub/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
| uwplse/verdi | A framework for formally verifying distributed systems implementations in Coq. | 595 |
 willemt/raft | A C implementation of the Raft consensus protocol used to synchronize distributed systems and ensure consistency in data storage | 1,133 |
 hhblaze/raft.net | An implementation of the RAFT distributed consensus algorithm among TCP peers using .NET for fault-tolerant and high-availability applications | 171 |
 threemammals/rafty | An implementation of the Raft consensus algorithm in C# and .NET core. | 197 |
 komamitsu/oraft | A Raft consensus algorithm implementation in OCaml for distributed systems | 28 |
 verse-lab/toychain | A minimalistic blockchain-based consensus protocol implemented in Coq | 111 |
 hslam/raftdb | A distributed key-value database system using the Raft consensus protocol | 4 |
 bbva/raft-badger | An implementation of a Raft consensus algorithm using BadgerDB as the underlying data store. | 112 |
 distributedcomponents/disel | A framework for implementing and verifying distributed systems using Coq | 95 |
 qichengzx/m2 | A distributed key-value cache system based on the Raft consensus protocol | 27 |
 ethereum/cbc-casper | A Python implementation of a class of 'correct-by-construction' consensus protocols. | 229 |
 parapet-io/parapet | A purely functional library to build distributed and event-driven systems | 138 |
 etcd-io/raft | A library implementing a replicated state machine algorithm for distributed systems | 694 |
| uwplse/cheerios | A formally verified serialization library for Coq | 23 |
 mosaicnetworks/babble | A distributed consensus middleware for peer-to-peer networking and transactions. | 478 |