کتابخانه های نوشته شده با جاوا اسکریپت

Examples

مجموعه ای از مشخصات TLA+ با پیچیدگی های مختلف (توسط tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

سری دکتر TLA+ - الگوریتم و پروتکل را یاد بگیرید، مشخصات را مطالعه کنید.
  • 757

BlockingQueue

آموزش «هفته‌های اشکال زدایی می‌تواند ساعت‌ها از TLA+ برای شما صرفه‌جویی کند». هر git commit یک مفهوم جدید را معرفی می کند =>تاریخچه git را بررسی کنید! (توسط لمی).
  • 465
  • MIT

CommunityModules

قطعه‌ها، اپراتورها و ماژول‌های TLA+ که توسط انجمن TLA+ تهیه و تنظیم شده‌اند.
  • 228
  • MIT

pgo

PGo منبعی برای منبع کامپایلر از مشخصات Modular PlusCal در برنامه های Go است.
  • 143
  • Apache License 2.0

ewd998

تشخیص پایان توزیع شده بر روی یک حلقه، به دلیل Shmuel Safra:.
  • 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+ برای الگوریتم اجماع Raft.
  • 8

advent-of-tla

اهداف AoC در TLA+.
  • 6
  • MIT