Raminshiraz / raft-visualizer

git clone https://github.com/Raminshiraz/raft-visualizer.git

Interactive Raft consensus visualizer. Crash nodes, partition the network, cut single links one-way, and watch elections and log repair play out — with every safety invariant machine-checked against the paper.