A Paxos implementation in C originally by Marco Primi, built on top of libevent