Paxos This library aims to provide implementations of several Paxos-style distributed consensus algorithms, in Haskell. See the bin/ folder for some examples, or build the documentation using Haddock.