A feature complete and high performance multi-group Raft library in Go.

An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available distributed systems.

A New Distributed Consensus and Distributed Ledger Algorithm

Collect must-read papers on distributed systems

A highly customable, adaptable, runtime agnostic and WASM/WASI friendly Gossip protocol (SWIM) which helps manage cluster membership and member failure detection.

A Go implementation of Raft Algorithm & A fault-tolerant primary/backup K/V storage system that use the implementation. Written just as learning project.

Angular implementation for RAFT

Distributed Raft Consensus algorithm implementation using UDP segments.

collaborative university project on utilising Proof-of-Authority and blockchain technology for managing identities

A New Distributed Consensus and Distributed Ledger Algorithm

Implementation of Raft's distributed consensus using P4-programmable data-plane devices.

A multi-group Paxos library in Go.

collaborative university project on utilising Proof-of-Authority and blockchain technology for managing identities

Implementation of Lamport's mutual exclusion algorithm

A Distributed Auction Game using Paxos made for CSC445.

Implementation of a distributed replication protocol used for passive replication

Funnel Replication algorithm implementation with support for crash recovery.

Main memory key value store in several varieties

TLA+ model checking and TLAPS theorem proving for the Paxos implementation in PaxosStore by WeChat

Research resources on the distributed consensus problem