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
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
pgo
PGo je zdrojový kompilátor zo špecifikácií Modular PlusCal do programov Go.
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
Špecifikácie a modely na riešenie problémov DeadlockEmpire pomocou TLA+ a TLC.
- 18