ongardie/raft.tla
@ongardieTLA+-Spezifikation für den Raft-Konsensalgorithmus
Sterne
528
Forks
96
Sprache
TLA
Lizenz
—
Letzter Push
vor 2 Jahren
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.