مكتبات مكتوبة بلغة TLA
Examples
مجموعة من مواصفات TLA + ذات التعقيدات المتنوعة (بواسطة tlaplus).
- 1.1k
- GNU General Public License v3.0
BlockingQueue
البرنامج التعليمي "أسابيع من التصحيح يمكن أن توفر لك ساعات من TLA +". يقدم كل التزام git مفهومًا جديدًا =>تحقق من سجل git! (بواسطة lemmy).
- 465
- MIT