An implementation of multi-Paxos in Rust.