Raminshiraz

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.