TLA ile yazılmış kütüphaneler
Examples
Çeşitli karmaşıklıklara sahip TLA+ özelliklerinin bir koleksiyonu (tlaplus tarafından).
- 1.1k
- GNU General Public License v3.0
BlockingQueue
Öğretici "Haftalarca hata ayıklama size saatlerce TLA+ kazandırabilir". Her git taahhüdü yeni bir konsept sunar =>git geçmişini kontrol edin! (lemmy tarafından).
- 465
- MIT
CommunityModules
TLA+ parçacıkları, operatörler ve modüller, TLA+ topluluğunun katkıda bulunduğu ve küratörlüğünü yaptığı.
- 228
- MIT
pgo
PGo, Modüler PlusCal özelliklerinden Go programlarına kaynak derleyici kaynaktır.
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
TLA+ ve TLC kullanarak DeadlockEmpire sorunlarını çözmek için teknik özellikler ve modeller.
- 18