Biblioteke napisane u TLA u
Examples
Zbirka TLA+ specifikacija različite složenosti (od tlaplus).
- 1.1k
- GNU General Public License v3.0
BlockingQueue
Vodič "Tjedni otklanjanja pogrešaka mogu vam uštedjeti sate TLA+". Svaki git commit uvodi novi koncept =>provjerite git povijest! (od lemmyja).
- 465
- MIT
CommunityModules
TLA+ isječci, operatori i moduli koje je pridonijela i pripremila zajednica TLA+.
- 228
- MIT
pgo
PGo je izvorni prevodilac iz Modular PlusCal specifikacija u Go programe..
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
Specifikacije i modeli za rješavanje problema DeadlockEmpire korištenjem TLA+ i TLC.
- 18