Nā hale waihona puke i kākau ʻia ma TLA

Examples

He hōʻiliʻili o nā kikoʻī TLA+ o nā mea paʻakikī like ʻole (e tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Dr. TLA+ series - e aʻo i kahi algorithm a me ka protocol, e aʻo i kahi kikoʻī.
  • 757

BlockingQueue

Aʻo "Hiki i nā pule o ka debugging ke mālama iā ʻoe i nā hola o TLA +". Hoʻokomo kēlā me kēia git commit i kahi manaʻo hou =>e nānā i ka mōʻaukala git! (na lemmy).
  • 465
  • MIT

CommunityModules

TLA+ snippets, operators, and modules i hāʻawi a mālama ʻia e ke kaiāulu TLA+.
  • 228
  • MIT

pgo

ʻO PGo kahi kumu e hoʻopili ai i ka mea hoʻopili mai Modular PlusCal specs i nā polokalamu Go.
  • 143
  • Apache License 2.0

ewd998

ʻIke ʻia hoʻopau ʻia ma ke apo, ma muli o Shmuel Safra:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Nā kikoʻī a me nā hiʻohiʻona no ka hoʻoponopono ʻana i nā pilikia DeadlockEmpire me ka hoʻohana ʻana iā TLA+ a me TLC.
  • 18

TLAplus

Nā nīnau, pane, a me nā hoʻokolohua TLA+ (na Isaac-DeFrain).
  • 17
  • Apache License 2.0

raft.tla

TLA + kikoʻī no ka Raft consensus algorithm.
  • 8

advent-of-tla

Nā pahuhopu AoC ma TLA+.
  • 6
  • MIT