Tooling for deterministic simulation testing of distributed systems
-
Updated
Oct 26, 2026 - Go
Tooling for deterministic simulation testing of distributed systems
Raft-replicated key-value store in Rust: elections, log replication, snapshots/InstallSnapshot, exactly-once sessions, deterministic fault-injection simulation with linearizability checks.
Raft consensus in Go, checked by a deterministic simulator: seeded partitions and crashes, a hand-written linearizability checker, and planted bugs it must catch.
To associate your repository with the simulation-testing topic, visit your repo's landing page and select "manage topics."