Biblioteker skrevet i TLA
Examples
En samling af TLA+ specifikationer af varierende kompleksitet (af tlaplus).
- 1.1k
- GNU General Public License v3.0
BlockingQueue
Selvstudium "Uger med fejlretning kan spare dig for timers TLA+". Hver git-commit introducerer et nyt koncept =>tjek git-historikken! (af lemmy).
- 465
- MIT
CommunityModules
TLA+-uddrag, operatører og moduler bidraget og kurateret af TLA+-fællesskabet.
- 228
- MIT
pgo
PGo er en kilde-til-kilde-kompiler fra Modular PlusCal-specifikationer til Go-programmer.
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
Specifikationer og modeller til at løse DeadlockEmpire-problemerne ved hjælp af TLA+ og TLC.
- 18