مكتبات مكتوبة بلغة TLA

Examples

مجموعة من مواصفات TLA + ذات التعقيدات المتنوعة (بواسطة tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

سلسلة Dr. TLA + - تعلم خوارزمية وبروتوكول ، ودراسة المواصفات.
  • 757

BlockingQueue

البرنامج التعليمي "أسابيع من التصحيح يمكن أن توفر لك ساعات من TLA +". يقدم كل التزام git مفهومًا جديدًا =>تحقق من سجل git! (بواسطة lemmy).
  • 465
  • MIT

CommunityModules

مقتطفات TLA + والمشغلين والوحدات التي ساهمت ورعاها مجتمع TLA +.
  • 228
  • MIT

pgo

PGo هو مصدر لمترجم المصدر من مواصفات Modular PlusCal إلى برامج Go..
  • 143
  • Apache License 2.0

ewd998

كشف انتهاء موزع على حلقة بسبب شموئيل صفرا:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

المواصفات والنماذج لحل مشاكل DeadlockEmpire باستخدام TLA + و TLC.
  • 18

TLAplus

TLA + أسئلة وأجوبة وتجارب (بواسطة Isaac-DeFrain).
  • 17
  • Apache License 2.0

raft.tla

مواصفات TLA + لخوارزمية توافق الطوافة.
  • 8

advent-of-tla

أهداف AoC في TLA +.
  • 6
  • MIT