← All repos

uwplse/verdi-raft

View on GitHub ↗ ★ 204 Coq

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2017-07-09 · latest 2021-10-28