Biblioteker skrevet i TLA

Examples

En samling af TLA+ specifikationer af varierende kompleksitet (af tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Dr. TLA+-serien - lær en algoritme og protokol, studere en specifikation.
  • 757

BlockingQueue

Selvstudium "Uger med fejlretning kan spare dig for timers TLA+". Hver git-commit introducerer et nyt koncept =>tjek git-historikken! (af lemmy).
  • 465
  • MIT

CommunityModules

TLA+-uddrag, operatører og moduler bidraget og kurateret af TLA+-fællesskabet.
  • 228
  • MIT

pgo

PGo er en kilde-til-kilde-kompiler fra Modular PlusCal-specifikationer til Go-programmer.
  • 143
  • Apache License 2.0

ewd998

Distribueret termineringsdetektion på en ring, på grund af Shmuel Safra:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Specifikationer og modeller til at løse DeadlockEmpire-problemerne ved hjælp af TLA+ og TLC.
  • 18

TLAplus

TLA+ spørgsmål, svar og eksperimenter (af Isaac-DeFrain).
  • 17
  • Apache License 2.0

raft.tla

TLA+-specifikation for Raft-konsensusalgoritmen.
  • 8

advent-of-tla

AoC-mål i TLA+.
  • 6
  • MIT