用 TLA 编写的库

Examples

不同复杂度的 TLA+ 规范的集合（由 tlaplus 提供）。
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

TLA+博士系列——学习算法和协议，研究规范。
  • 757

BlockingQueue

教程“数周的调试可以为您节省数小时的 TLA+”。每个 git 提交都会引入一个新概念 =>检查 git 历史记录！ （莱米）。
  • 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

使用 TLA+ 和 TLC 解决 DeadlockEmpire 问题的规格和模型。
  • 18

TLAplus

TLA+ 问题、答案和实验（作者：Isaac-DeFrain）。
  • 17
  • Apache License 2.0

raft.tla

Raft 共识算法的 TLA+ 规范。
  • 8

advent-of-tla

TLA+ 中的 AoC 目标。
  • 6
  • MIT