Notes on Lindsey Kuper's lectures on Distributed Systems

Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm

paxos for studying

Kernel Module that implements Paxos protocol

A simulator for the distributed consensus algorithm Paxos. This was a University of Adelaide assignment (Distributed Systems).

The material is a part of the Honor/Minor Degree Course - Blockchain Platforms offered by the Department of Computer Engineering, (VES Institute of Technology - An Autonomous Institute, Affiliated to the University of Mumbai) to the Third Year Students of All Branches.

An experimental approach to the iconic and fault-taulerant distributed algorithm "Paxos", as described in the scientific paper "Paxos Made Moderately Complex" included in this repo under the name MultiPaxos.pdf.

Distributed Systems pet project learning using Distributed Systems pet project learning using MIT OpenCourseWare

degenerate doped p type semi conductors

Implementation for MIT6.824 Distributed System

Algorithms and Distributed Systems Project 2 - Replicated Service using State Machine Replication.

Distributed Systems (COMP 512) Project

Distributed key-value database using Multi-Paxos Consensus Algorithm

A simulation of Paxos processes

A distributed key value store using multi paxos to achieve consensus

Paxos, rewritten in C++

Distributed databse server for web API's

Single value / classic paxos implementation attempt

An implementation of the Paxos view change algorithm in Rust.

Synchronous Paxos algorithm implementation.