Biblioteki napisane w TLA

Examples

Zbiór specyfikacji TLA+ o różnej złożoności (przez tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Seria Dr. TLA+ - poznaj algorytm i protokół, przestudiuj specyfikację.
  • 757

BlockingQueue

Samouczek „Tygodnie debugowania mogą zaoszczędzić godziny TLA+”. Każde git commit wprowadza nową koncepcję =>sprawdź historię git! (przez Lemmy'ego).
  • 465
  • MIT

CommunityModules

Fragmenty, operatory i moduły TLA+ przesłane i opracowane przez społeczność TLA+.
  • 228
  • MIT

pgo

PGo to kompilator źródła do źródła ze specyfikacji Modular PlusCal do programów Go.
  • 143
  • Apache License 2.0

ewd998

Rozproszone wykrywanie terminacji na pierścieniu, dzięki Shmuelowi Safra:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Specyfikacje i modele rozwiązywania problemów DeadlockEmpire przy użyciu TLA+ i TLC.
  • 18

TLAplus

TLA+ pytania, odpowiedzi i eksperymenty (autor: Isaac-DeFrain).
  • 17
  • Apache License 2.0

raft.tla

Specyfikacja TLA+ dla algorytmu konsensusu Raft.
  • 8

advent-of-tla

Cele AoC w TLA+.
  • 6
  • MIT