billdmar

Raft consensus + replicated key-value store in Go — a sans-I/O deterministic core verified by deterministic simulation testing (140k adversarial fault schedules), Porcupine linearizability checking, and race-clean concurrency.