Dépôts open source suivis de ongardie, triés par étoiles.
Visualisation expérimentale de Raft
Spécification TLA+ pour l'algorithme de consensus Raft.
