uwplse/verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
CoqBSD-2-Clause
Watchers
- anasazi
- billzornUW
- bmyerzUniversity of Iowa, Computer Science
- ChinaXingyouzan
- csgordonDrexel University
- dinosaureAround the world ...
- dwoos
- fredfeng
- FTRobbinCornell, Ithaca, NY
- haomingL
- hyperthunk
- JacobVanGeffen
- jeromesimeonClause, Inc.
- jhcloos
- jn80842
- jon-jackySeattle
- juanbono@lambdaclass
- kivancmuslu-xx
- luiscezeUniversity of Washington
- maplainVMware, inc
- mernst
- MestwayUniversity of Washington
- nateyazdani@nuprl
- palmskogKTH Royal Institute of Technology
- rjust
- rstutsman
- samkaufman@uwplse
- schasins
- slerner
- slyubomirsky@NVIDIA
- spernsteiner
- Tom-AndersonUniversity of Washington
- trycatcher
- wdshinWhat If Studio / CEO
- wilcoxjayUniversity of Washington
- xiwSeattle, WA