raft-kv-engine-project
arjunsood2025/raft-kv-engine-project
Rust
Linearizable replicated key-value store written from scratch in Rust — LSM storage engine, sans-IO Raft, and a FoundationDB-style deterministic simulator that has linearizability-checked 20,000 randomized failure schedules. No database, consensus, or RPC crates.