Библиотеки, написани на TLA
Examples
Колекция от TLA+ спецификации с различна сложност (от tlaplus).
- 1.1k
- GNU General Public License v3.0
BlockingQueue
Урок „Седмици отстраняване на грешки могат да ви спестят часове TLA+“. Всеки git комит въвежда нова концепция =>проверете git хронологията! (от lemmy).
- 465
- MIT
CommunityModules
TLA+ фрагменти, оператори и модули, предоставени и курирани от TLA+ общността.
- 228
- MIT
pgo
PGo е компилатор от източник към източник от спецификациите на Modular PlusCal в Go програми.
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
Спецификации и модели за решаване на проблемите на DeadlockEmpire с помощта на TLA+ и TLC.
- 18