simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly
Currently, this is an implementation of CASPaxos built on top of the sled lightweight database kit.
It is being grown into a more featureful replication library that is mindful of modern consensus research.