uwplse/verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
CoqBSD-2-Clause
Stargazers
- nvmd
- takehayaTokyo Japan
- goodplayerMars~~
- FreeBirdLjj
- balmasterKrasnogorsk, MO, Russia
- junlong-gaoSan Jose
- junjihashimotoJapan
- progerSupercomputer City
- nlyubchichBerlin, Germany
- cdituriChicago
- clayratMadrid
- wilhelmjungShenzhen, Guangdong, China
- ChinaXingchina
- lserafinZurich
- rampantmonkeyReston, VA
- ksodaTokyo
- LakretBerlin, Germany
- wdshinSeoul/Korea
- kazimuthDetroit, MI
- GanbenShenzhen
- bh1xuw
- madvagabond
- newmanwangShenzhen, China
- lanzafameAustralia
- tiensonqin
- ejgallegoParis
- wgtdkpShanghai
- germanDLondon
- lbordowitz
- define-null
- terlarSweden
- ssavvides
- ariesdevilBudapest, Hungary
- vbmithrꙮ
- aaglenn
- nareix