GitHub repository: nhs-riak/riak_ensemble
Description: Multi-Paxos framework in Erlang