GitHub repository: rescrv/Replicant
Primary language: C++
Description: A system for maintaining replicated state machines