Repositorios de código abierto monitorizados de ongardie, ordenados por estrellas.
Visualización experimental de Raft
Especificación TLA+ para el algoritmo de consenso Raft.
