Shameless plug for my educational focused Paxos implementation: https://github.com/danrl/skinny

Easy to follow talk teaching Paxos: https://youtu.be/nyNCSM4vGF4