An Erlang/OTP-style implementation of the PAXOS distributed consensus protocol - View it on GitHub