verdi-raft

uwplse/verdi595

Distributed system verifier

A framework for formally verifying distributed systems implementations in Coq.

willemt/raft1.1K

Consensus protocol library

A C implementation of the Raft consensus protocol used to synchronize distributed systems and ensure consistency in data storage

hhblaze/raft.net171

RAFT network

An implementation of the RAFT distributed consensus algorithm among TCP peers using .NET for fault-tolerant and high-availability applications

threemammals/rafty197

Consensus engine

An implementation of the Raft consensus algorithm in C# and .NET core.

komamitsu/oraft28

Raft engine

A Raft consensus algorithm implementation in OCaml for distributed systems

verse-lab/toychain111

Consensus protocol

A minimalistic blockchain-based consensus protocol implemented in Coq

hslam/raftdb4

Distributed KV database

A distributed key-value database system using the Raft consensus protocol

bbva/raft-badger112

Consensus engine

An implementation of a Raft consensus algorithm using BadgerDB as the underlying data store.

distributedcomponents/disel95

Distributed system framework

A framework for implementing and verifying distributed systems using Coq

qichengzx/m227

Raft Cache

A distributed key-value cache system based on the Raft consensus protocol

ethereum/cbc-casper229

Consensus protocol library

A Python implementation of a class of 'correct-by-construction' consensus protocols.

parapet-io/parapet138

Distributed framework

A purely functional library to build distributed and event-driven systems

etcd-io/raft694

State machine library

A library implementing a replicated state machine algorithm for distributed systems

uwplse/cheerios23

Serialization library

A formally verified serialization library for Coq

mosaicnetworks/babble478

Consensus middleware

A distributed consensus middleware for peer-to-peer networking and transactions.