Knihovny napsané v TLA u
Examples
Sbírka specifikací TLA+ různé složitosti (od tlaplus).
- 1.1k
- GNU General Public License v3.0
BlockingQueue
Výukový program „Týdny ladění vám mohou ušetřit hodiny TLA+“. Každý git commit představuje nový koncept =>zkontrolujte historii git! (od Lemmyho).
- 465
- MIT
pgo
PGo je zdrojový kompilátor ze specifikací Modular PlusCal do programů Go.
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
Specifikace a modely pro řešení problémů DeadlockEmpire pomocí TLA+ a TLC.
- 18