Библиотеки, написани на TLA

Examples

Колекция от TLA+ спецификации с различна сложност (от tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Серия Dr. TLA+ - научете алгоритъм и протокол, проучете спецификация.
  • 757

BlockingQueue

Урок „Седмици отстраняване на грешки могат да ви спестят часове TLA+“. Всеки git комит въвежда нова концепция =>проверете git хронологията! (от lemmy).
  • 465
  • MIT

CommunityModules

TLA+ фрагменти, оператори и модули, предоставени и курирани от TLA+ общността.
  • 228
  • MIT

pgo

PGo е компилатор от източник към източник от спецификациите на Modular PlusCal в Go програми.
  • 143
  • Apache License 2.0

ewd998

Разпределено откриване на прекъсване на пръстен, благодарение на Shmuel Safra:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Спецификации и модели за решаване на проблемите на DeadlockEmpire с помощта на TLA+ и TLC.
  • 18

TLAplus

TLA+ въпроси, отговори и експерименти (от Isaac-DeFrain).
  • 17
  • Apache License 2.0

raft.tla

TLA+ спецификация за консенсусния алгоритъм на Raft.
  • 8

advent-of-tla

AoC цели в TLA+.
  • 6
  • MIT