Perpustakaan yang ditulis dalam TLA
Examples
Kumpulan spesifikasi TLA+ dari berbagai kompleksitas (oleh tlaplus).
- 1.1k
- GNU General Public License v3.0
BlockingQueue
Tutorial "Debugging selama berminggu-minggu dapat menghemat waktu TLA+". Setiap komit git memperkenalkan konsep baru =>periksa riwayat git! (oleh lemmy).
- 465
- MIT
CommunityModules
Cuplikan, operator, dan modul TLA+ disumbangkan dan dikuratori oleh komunitas TLA+.
- 228
- MIT
pgo
PGo adalah source to source compiler dari spesifikasi Modular PlusCal ke dalam program Go..
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
Spesifikasi dan model untuk memecahkan masalah DeadlockEmpire menggunakan TLA+ dan TLC.
- 18