Biblioteki napisane w TLA
Examples
Zbiór specyfikacji TLA+ o różnej złożoności (przez tlaplus).
- 1.1k
- GNU General Public License v3.0
BlockingQueue
Samouczek „Tygodnie debugowania mogą zaoszczędzić godziny TLA+”. Każde git commit wprowadza nową koncepcję =>sprawdź historię git! (przez Lemmy'ego).
- 465
- MIT
CommunityModules
Fragmenty, operatory i moduły TLA+ przesłane i opracowane przez społeczność TLA+.
- 228
- MIT
pgo
PGo to kompilator źródła do źródła ze specyfikacji Modular PlusCal do programów Go.
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
Specyfikacje i modele rozwiązywania problemów DeadlockEmpire przy użyciu TLA+ i TLC.
- 18