Implementation of Multi-Paxos. Multi-Paxos is a protocol for state machine replication in an asynchronous environment that admits crash failures. The implementation uses DistAlgo v0.5, a high-level language for writing distributed algorithms written in Python.