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
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
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