Sprache · TLA

TLA

Erfasste Open-Source-Repos mit TLA als Hauptsprache, sortiert nach Sternen.

3 Repos

#1
Examples@tlaplusTLA
Eine Sammlung von TLA⁺-Spezifikationen unterschiedlicher Komplexität.
★ 1.559+2Sterne-Änderung der letzten 7 Tage
#2
raft.tla@ongardieTLA
TLA+-Spezifikation für den Raft-Konsensalgorithmus
★ 525+2Sterne-Änderung der letzten 7 Tage
#3
BlockingQueue@lemmyTLA
Tutorial „Weeks of debugging can save you hours of TLA+“. Jeder Git-Commit führt ein neues Konzept ein – prüfen Sie die Git-Historie!
★ 505+1Sterne-Änderung der letzten 7 Tage