Librerie scritte in TLA

Examples

Una raccolta di specifiche TLA+ di varia complessità (di tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Serie Dr. TLA+: impara un algoritmo e un protocollo, studia una specifica.
  • 757

BlockingQueue

Tutorial "Settimane di debug possono farti risparmiare ore di TLA+". Ogni commit git introduce un nuovo concetto =>controlla la cronologia git! (di lemmy).
  • 465
  • MIT

CommunityModules

Snippet, operatori e moduli TLA+ forniti e curati dalla comunità TLA+.
  • 228
  • MIT

pgo

PGo è un compilatore da sorgente a sorgente dalle specifiche Modular PlusCal nei programmi Go.
  • 143
  • Apache License 2.0

ewd998

Rilevamento della terminazione distribuito su un anello, grazie a Shmuel Safra:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Specifiche e modelli per risolvere i problemi di DeadlockEmpire utilizzando TLA+ e TLC.
  • 18

TLAplus

Domande, risposte ed esperimenti TLA+ (di Isaac-DeFrain).
  • 17
  • Apache License 2.0

raft.tla

  • 8

advent-of-tla

Obiettivi AoC in TLA+.
  • 6
  • MIT