Knižnice napísané v TLA e

Examples

Zbierka špecifikácií TLA+ rôznej zložitosti (od tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Séria Dr. TLA+ - naučte sa algoritmus a protokol, naštudujte si špecifikáciu.
  • 757

BlockingQueue

Návod „Týždne ladenia vám môžu ušetriť hodiny TLA+“. Každý git commit predstavuje nový koncept =>skontrolujte históriu git! (podľa lemmyho).
  • 465
  • MIT

CommunityModules

TLA+ úryvky, operátori a moduly prispeli a spravovali komunitou TLA+.
  • 228
  • MIT

pgo

PGo je zdrojový kompilátor zo špecifikácií Modular PlusCal do programov Go.
  • 143
  • Apache License 2.0

ewd998

Distribuovaná detekcia ukončenia na prstenci vďaka Shmuel Safra:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Špecifikácie a modely na riešenie problémov DeadlockEmpire pomocou TLA+ a TLC.
  • 18

TLAplus

Otázky, odpovede a experimenty TLA+ (od Isaaca-DeFraina).
  • 17
  • Apache License 2.0

raft.tla

Špecifikácia TLA+ pre algoritmus Raft konsenzu.
  • 8

advent-of-tla

Ciele AoC v TLA+.
  • 6
  • MIT