paxos-programming This repo contains two solutions, each in it's own subdirectory. Each folder is self sufficient, refer to corresponding READMEs for instructions.