Madsim: Deterministic Simulator for Distributed Systems in Rust
github.com