Biblioteke napisane u TLA u

Examples

Zbirka TLA+ specifikacija različite složenosti (od tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Dr. TLA+ serija - naučite algoritam i protokol, proučite specifikaciju.
  • 757

BlockingQueue

Vodič "Tjedni otklanjanja pogrešaka mogu vam uštedjeti sate TLA+". Svaki git commit uvodi novi koncept =>provjerite git povijest! (od lemmyja).
  • 465
  • MIT

CommunityModules

TLA+ isječci, operatori i moduli koje je pridonijela i pripremila zajednica TLA+.
  • 228
  • MIT

pgo

PGo je izvorni prevodilac iz Modular PlusCal specifikacija u Go programe..
  • 143
  • Apache License 2.0

ewd998

Distribuirano otkrivanje prekida na prstenu, zahvaljujući Shmuelu Safri:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Specifikacije i modeli za rješavanje problema DeadlockEmpire korištenjem TLA+ i TLC.
  • 18

TLAplus

TLA+ pitanja, odgovori i eksperimenti (autor Isaac-DeFrain).
  • 17
  • Apache License 2.0

raft.tla

TLA+ specifikacija za Raftov konsenzusni algoritam.
  • 8

advent-of-tla

AoC golovi u TLA+.
  • 6
  • MIT