raft
jinwovo/raft
Java
From-scratch Raft consensus - leader election, log replication, snapshots/compaction, pre-vote, linearizable reads (ReadIndex), dynamic membership - proven by a deterministic chaos simulation (150 seeds), with an interactive visualizer and a real multi-process cluster.