Knjižnice, napisane v TLA u

Examples

Zbirka specifikacij TLA+ različnih zahtevnosti (avtor tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Serija Dr. TLA+ - naučite se algoritma in protokola, preučite specifikacijo.
  • 757

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

ewd998

Porazdeljeno zaznavanje zaključkov na obroču, zaradi Shmuela Safre:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Specifikacije in modeli za reševanje težav DeadlockEmpire z uporabo TLA+ in TLC.
  • 18

TLAplus

TLA+ vprašanja, odgovori in eksperimenti (avtor Isaac-DeFrain).
  • 17
  • Apache License 2.0

raft.tla

Specifikacija TLA+ za algoritem soglasja Raft.
  • 8

advent-of-tla

AoC cilji v TLA+.
  • 6
  • MIT