Paxos library that has been used in Wechat production environment. - View it on GitHub