paxos

A Framework for building Distributed Consensus Protocols

Message passing library based on PaxosSTM

Transactional Distributed Database Layer

My Solution for MIT 6.824 Paxos. No fail in 10,000 tests.

A collection of tasks and assignments for Fundamentals of Distributed Systems

A simulation of Paxos processes

Styx++ is an easy-to-integrate open-source solution that bundles together existing tools and concepts, providing researchers outside of the systems domain with a reliable distributed system for their database needs.

Fault-tolerant decentralized database using the Multi-Paxos consensus algorithm.

Basic and Multi Paxos in Java

A implementation of distributed, sharded, replicated KV storage system

Repository for my thesis implementation

A node for the Hydra Decentralised IRC Bot

Playground to visualize OmniPaxos.

Discovering some distributed algorithms. "Introduction to Reliable and Secure Distributed Programming" book used as main reference.

Replicated key-value store that offers serializability of transactions and halt-free reconfiguration using Vertical Paxos

USDL Uniswap V4 Hooks

A distributed fault-tolerant LLM service using Multi-Paxos consensus, ensuring continuous AI operations through server failures and network partitions. Built with Python and Google's Gemini API.

paxos library

TLA+ Specification of LWT (Lightweight Transactions) in Cassandra, ScyllaDB, and CASPaxos

Distributed Systems Labs and Framework