TLA ile yazılmış kütüphaneler

Examples

Çeşitli karmaşıklıklara sahip TLA+ özelliklerinin bir koleksiyonu (tlaplus tarafından).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

TLA+ serisi - bir algoritma ve protokol öğrenin, bir spesifikasyonu inceleyin.
  • 757

BlockingQueue

Öğretici "Haftalarca hata ayıklama size saatlerce TLA+ kazandırabilir". Her git taahhüdü yeni bir konsept sunar =>git geçmişini kontrol edin! (lemmy tarafından).
  • 465
  • MIT

CommunityModules

TLA+ parçacıkları, operatörler ve modüller, TLA+ topluluğunun katkıda bulunduğu ve küratörlüğünü yaptığı.
  • 228
  • MIT

pgo

PGo, Modüler PlusCal özelliklerinden Go programlarına kaynak derleyici kaynaktır.
  • 143
  • Apache License 2.0

ewd998

Shmuel Safra sayesinde bir halkada dağıtılmış sonlandırma tespiti:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

TLA+ ve TLC kullanarak DeadlockEmpire sorunlarını çözmek için teknik özellikler ve modeller.
  • 18

TLAplus

TLA+ soruları, yanıtları ve deneyleri (Isaac-DeFrain tarafından).
  • 17
  • Apache License 2.0

raft.tla

Raft konsensüs algoritması için TLA+ spesifikasyonu.
  • 8

advent-of-tla

TLA+'da AoC hedefleri.
  • 6
  • MIT