Awesome list for Paxos and friends - View it on GitHub