There are 5 repositories under distributed-consensus topic.
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 highly customable, adaptable, runtime agnostic and WASM/WASI friendly Gossip protocol (SWIM) which helps manage cluster membership and member failure detection.
Collect must-read papers on distributed systems
Angular implementation for RAFT
A Go implementation of Raft Algorithm & A fault-tolerant primary/backup K/V storage system that use the implementation. Written just as learning project.
Distributed Raft Consensus algorithm implementation using UDP segments.
collaborative university project on utilising Proof-of-Authority and blockchain technology for managing identities
Implementation of Raft's distributed consensus using P4-programmable data-plane devices.
A New Distributed Consensus and Distributed Ledger Algorithm
collaborative university project on utilising Proof-of-Authority and blockchain technology for managing identities
A multi-group Paxos library in Go.
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
Analysis and distributed control of opinion dynamics in a network containing malicious agents.
Distributed consensus algorithms implemented using Apache Kafka as a message broker.
Funnel Replication algorithm implementation with support for crash recovery.
This project aimed at extending the original Paxos implementation specified by Lamport into a version with preemption. As part of this project I also added correctness testing to check that executions with both the original and the extended versions are correct. I measure the running times to learn a consensus value under varying values of 3 parameters: message loss rate, message delay, and wait time before a new round.User can configure the setup by passing arguments to the run.py file for various runs.
Research resources on the distributed consensus problem
TLA+ model checking and TLAPS theorem proving for the Paxos implementation in PaxosStore by WeChat