GitHub repository: Kyorai/riak_ensemble
Primary language: Erlang
Description: Multi-Paxos framework in Erlang