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.
A decentralized peer-to-peer web operating system and workspace powered by WebRTC and distributed signaling.