In TLA geschriebene Bibliotheken

Examples

Eine Sammlung von TLA+-Spezifikationen unterschiedlicher Komplexität (von tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Dr. TLA+-Serie – lernen Sie einen Algorithmus und ein Protokoll, studieren Sie eine Spezifikation.
  • 757

BlockingQueue

Tutorial „Wochenlanges Debuggen kann Ihnen Stunden an TLA+ ersparen“. Jeder Git-Commit führt ein neues Konzept ein =>Überprüfen Sie den Git-Verlauf! (von Lemmy).
  • 465
  • MIT

CommunityModules

Von der TLA+-Community beigesteuerte und kuratierte TLA+-Snippets, Operatoren und Module.
  • 228
  • MIT

pgo

PGo ist ein Source-to-Source-Compiler von Modular PlusCal-Spezifikationen in Go-Programme.
  • 143
  • Apache License 2.0

ewd998

Verteilte Beendigungserkennung auf einem Ring, dank Shmuel Safra:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Spezifikationen und Modelle zur Lösung der DeadlockEmpire-Probleme mit TLA+ und TLC.
  • 18

TLAplus

TLA+ Fragen, Antworten und Experimente (von Isaac-DeFrain).
  • 17
  • Apache License 2.0

raft.tla

TLA+-Spezifikation für den Raft-Konsensalgorithmus.
  • 8

advent-of-tla

AoC-Ziele in TLA+.
  • 6
  • MIT