This repository contains documentation and TLA+ specifications for Bipartisan Paxos (BPaxos): a new family of consensus protocols that are generalized, leaderless, and have near-optimal commit latency. See https://github.com/mwhittaker/frankenpaxos for an implementation of BPaxos.