کتابخانه های نوشته شده با جاوا اسکریپت
Examples
مجموعه ای از مشخصات TLA+ با پیچیدگی های مختلف (توسط tlaplus).
- 1.1k
- GNU General Public License v3.0
BlockingQueue
آموزش «هفتههای اشکال زدایی میتواند ساعتها از TLA+ برای شما صرفهجویی کند». هر git commit یک مفهوم جدید را معرفی می کند =>تاریخچه git را بررسی کنید! (توسط لمی).
- 465
- MIT
CommunityModules
قطعهها، اپراتورها و ماژولهای TLA+ که توسط انجمن TLA+ تهیه و تنظیم شدهاند.
- 228
- MIT
pgo
PGo منبعی برای منبع کامپایلر از مشخصات Modular PlusCal در برنامه های Go است.
- 143
- Apache License 2.0