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

GitHub

186 stars
55 watching
19 forks
Language: Coq
last commit: almost 3 years ago
Linked from 2 awesome lists

consensuscoqdistributed-systemskey-valueproofraftverdi

Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
uwplse/verdiA framework for formally verifying distributed systems implementations in Coq.595
willemt/raftA C implementation of the Raft consensus protocol used to synchronize distributed systems and ensure consistency in data storage1,133
hhblaze/raft.netAn implementation of the RAFT distributed consensus algorithm among TCP peers using .NET for fault-tolerant and high-availability applications171
threemammals/raftyAn implementation of the Raft consensus algorithm in C# and .NET core.197
komamitsu/oraftA Raft consensus algorithm implementation in OCaml for distributed systems28
verse-lab/toychainA minimalistic blockchain-based consensus protocol implemented in Coq111
hslam/raftdbA distributed key-value database system using the Raft consensus protocol4
bbva/raft-badgerAn implementation of a Raft consensus algorithm using BadgerDB as the underlying data store.112
distributedcomponents/diselA framework for implementing and verifying distributed systems using Coq95
qichengzx/m2A distributed key-value cache system based on the Raft consensus protocol27
ethereum/cbc-casperA Python implementation of a class of 'correct-by-construction' consensus protocols.229
parapet-io/parapetA purely functional library to build distributed and event-driven systems138
etcd-io/raftA library implementing a replicated state machine algorithm for distributed systems694
uwplse/cheeriosA formally verified serialization library for Coq23
mosaicnetworks/babbleA distributed consensus middleware for peer-to-peer networking and transactions.478