Knjižnice, napisane v TLA u
Examples
Zbirka specifikacij TLA+ različnih zahtevnosti (avtor tlaplus).
- 1.1k
- GNU General Public License v3.0
BlockingQueue
Vadnica "Tedni odpravljanja napak vam lahko prihranijo ure TLA+". Vsaka potrditev git uvaja nov koncept =>preverite zgodovino git! (avtor lemmy).
- 465
- MIT
CommunityModules
Delčki TLA+, operaterji in moduli, ki jih je prispevala in kurirala skupnost TLA+.
- 228
- MIT
pgo
PGo je prevajalnik od vira do vira iz specifikacij Modular PlusCal v programe Go.
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
Specifikacije in modeli za reševanje težav DeadlockEmpire z uporabo TLA+ in TLC.
- 18