search

raft / raft.github.io

website at https://raft.github.io
1.37k stars 213 forks source link

Add Raft Lite #199

Closed LiangrunDa closed 4 months ago

LiangrunDa commented 4 months ago

Raft Lite is a formally verified implementation of the Raft algorithm. It can be run interactively. It is intended to be used as a learning tool for both Raft and formal verification.

ongardie commented 4 months ago

Interesting, thanks @LiangrunDa!