uwplse/verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
CoqBSD-2-Clause
Stargazers
- abe-winterNYC
- amutake@Idein
- buggymcbugfixUniversity of Kent
- bzEq@vivo
- filipeamoreiraCoderelax
- gfredtech
- gmcabrita@amplemarket
- hrs@testdouble
- jssandh2@Harvard
- keigoiDeNA Co., Ltd.
- linpingchuanShenZhen.China
- lrabiet
- lucasmarcosDois Vizinhos, PR
- michaelsproul@sigp
- mpartel
- neverchanje@risingwavelabs
- ongardieself
- overvenus
- palmskogKTH Royal Institute of Technology
- pfaaj
- relrodRed Hat, Inc.
- ryarnyahZenika
- sbourlonVancouver
- sbusso@kyrolabs
- sdiehlLondon
- sky7drake
- smondetNew York, NY
- sonologico
- sshquack
- ssoudanSan Jose, CA
- wang502☁️
- wangwangwarChengdu
- wondward
- xasos@polychain
- yibityibit
- yutoppJapan