The Paxos library implemented in C++ that has been used in the WeChat production environment. - View it on GitHub