C++17 Raft + serializable MVCC with linearizability checking; run FAULTLINE live in WebAssembly.
分布式系统可视化实验室 - Raft 共识、Paxos、分布式事务、CRDT、领导者选举、脑裂、分布式锁、一致性模型
A container runtime, OCI image builder, Raft-replicated store and scheduler as one control plane — five projects, each still usable on its own.
Deterministic simulation, fault injection, and versioned traces for consensus protocol research in Go.
First-principles distributed systems labs implemented in modern Java.
A Java-based distributed storage framework powered by Raft consensus, featuring a fault-tolerant Key-Value store and extensible distributed services.
Fault-tolerant distributed LLM serving with a Go control plane, Python workers, gRPC, and Raft-backed state.
Raft consensus in a seeded fault simulator: the five safety properties are checked after every step and any failure replays from its seed.
Raft-based distributed key-value store with leader election, replicated logs, durable recovery, and failure testing.
Production-grade exchange built from first principles: deterministic Aeron Cluster matching core (Java), Go gateways and services, Rust market-data pl...
A deliberately tiny, allocation-conscious Raft-style consensus simulator in Rust for learning distributed systems and memory-aware design.
Raft consensus and a linearizable, fault-tolerant key/value store, built from scratch in Go (MIT 6.5840).
A distributed, Raft-replicated key-value store built from scratch in Go. Leader election, log replication, crash/partition-tested failure handling, an...
A distributed in-memory NoSQL database system written in Go with support for Lua plugins.
From-scratch Raft consensus + linearizable KV store in pure-stdlib Python — 91 tests, a 2,000-trial randomized chaos campaign (0 safety violations), a...
Raft consensus + replicated key-value store in Go — a sans-I/O deterministic core verified by deterministic simulation testing (140k adversarial fault...
A distributed, linearizable key-value store built on a from-scratch Raft consensus implementation in Go.
A distributed key value coordination service. inspired by Etcd, implementing Raft, and written in Golang
Demonstrate why plain /healthz on a NATS reloader sidecar can cascade pod NotReady during an AZ outage, and the /varz fix
Raft-replicated messenger backend in Go
Production-grade secret management on EKS — HashiCorp Vault (HA Raft + AWS KMS Auto-Unseal + IRSA), External Secrets Operator, and Stakater Reloader w...
Distributed key-value store with Raft consensus simulation
Fault-tolerant distributed in-memory data platform built from scratch in Go featuring custom binary protocol, Raft consensus, WAL recovery, consistent...
Explore math-based loading animations with curve variants, modal previews, formulas, and copyable code in plain HTML, CSS, and JavaScript
Interactive Scala lab for split brain, quorum visibility, stale leaders, and fencing tokens.
Distributed key-value store in Go with Raft consensus algorithm
Raft consensus from scratch in Node.js: randomized election timeouts, term-based voting with the log up-to-date restriction, AppendEntries log repair...
Distributed KV store on a from-scratch Raft in Go — deterministic simulation testing, porcupine linearizability checks under chaos, gRPC transport, k3...
Distributed key-value store with Raft consensus in pure Go - leader election, log replication, WAL, REST API
Quorum-durable distributed key-value store built with Java, Netty, RESP, and Raft
A distributed key-value store with a from-scratch Raft consensus implementation in Go — leader election, log replication, and crash recovery, built to...
A distributed key-value store built on a from-scratch Raft consensus implementation. Leader election, log replication, crash recovery and linearizable...
Distributed clustering for Rift — embedded Raft control plane, HRW flow-state ownership, and a server binary that composes them with the Rift core. Ap...