GitHub repository: CES-dengzeyuan/paxi
Description: Paxos protocol framework