simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly - View it on GitHub