ongardie's tracked open-source repos, sorted by stars.
super hacky visualization of Raft
TLA+ specification for the Raft consensus algorithm
