viewstamped-replication-erl An implementation of Viewstamped Replication (VR) in Erlang. VR is a protocol for state machine replication. Primary reference paper here.