Funnel Replication algorithm implementation with support for crash recovery.

Main memory key value store in several varieties

A Distributed Auction Game using Paxos made for CSC445.

Distributed Consensus.

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

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 par…

Raft is a distributed consensus algorithm.

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

Distributed consensus algorithms implemented using Apache Kafka as a message broker.

Implementation of a distributed replication protocol used for passive replication

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

A multi-group Paxos library in Go.

A New Distributed Consensus and Distributed Ledger Algorithm

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

Research resources on the distributed consensus problem

Distributed Raft Consensus algorithm implementation using UDP segments.

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

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

Analysis and distributed control of opinion dynamics in a network containing malicious agents.

Collect must-read papers on distributed systems