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

Angular implementation for RAFT

A New Distributed Consensus and Distributed Ledger Algorithm

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

Collect must-read papers on distributed systems

A multi-group Paxos library in Go.

A Distributed Auction Game using Paxos made for CSC445.

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

Implementation of Lamport's mutual exclusion algorithm

Funnel Replication algorithm implementation with support for crash recovery.

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

Distributed Raft Consensus algorithm implementation using UDP segments.

Distributed Consensus.

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

Research resources on the distributed consensus problem

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.

Implementation of a distributed replication protocol used for passive replication