G github.com An implementation of the Speculative Paxos protocol 57 points drkp 10 years ago 15 comments