Interactive Raft consensus visualizer. Crash nodes, partition the network, cut single links one-way, and watch elections and log repair play out — with every safety invariant machine-checked against the paper.

DS Project: A fault-tolerant distributed key-value store using the Raft consensus algorithm

c++ Implementaion Raft; Completed Log replcation、Votation、Safety、Snapshot

A distributed, replicated key-value cache in Rust built on a Raft consensus core. The consensus engine is a deterministic, side-effect-free state machine, enabling a simulation harness that injects partitions and message loss to verify safety properties — one leader per term, committed entries never lost — across a multi-node cluster.

Raft consensus + in-memory KV store in Go. Leader election, log replication, and a runnable 3-node cluster.

Interactive educational visualization of the Raft consensus algorithm.

3-node replicated KV store in Go — from-scratch Raft consensus, leader election, fault tolerance, Dockerised

A distributed DNS server I wrote to actually implement Raft: leader election, log replication, the lot. Strongly consistent across nodes.

A web application that supports concurrent multi-user access.

A high-performance, fault-tolerant distributed consensus engine implementing state machine replication, dynamic leader election, and linearizable log replication. Designed as a foundational primitive for low-latency cluster coordination and highly available infrastructure.

A distributed, strongly consistent Key-Value store powered by the Raft consensus algorithm, written in Rust.

Raft consensus as a pure deterministic state machine in Standard ML: leader election, log replication, commit quorum (MLton + Poly/ML)