Erfasste Open-Source-Repos von ongardie, sortiert nach Sternen.
Äußerst hackige Visualisierung von Raft
TLA+-Spezifikation für den Raft-Konsensalgorithmus
