A feature complete and high performance multi-group Raft library in Go.
- raft
- paxos
- golang
- go
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Raft library for maintaining a replicated state machine
- raft
- distributed-systems
- consensus
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
state machine which runs code
- golang
- workflows
- state-machine
- actor-model