Các thư viện được viết bằng TLA

Examples

Một tập hợp các thông số kỹ thuật TLA+ có độ phức tạp khác nhau (bởi tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Chuỗi TLA+ của Dr. - tìm hiểu thuật toán và giao thức, nghiên cứu thông số kỹ thuật.
  • 757

BlockingQueue

Hướng dẫn "Hàng tuần gỡ lỗi có thể giúp bạn tiết kiệm hàng giờ TLA+". Mỗi cam kết git giới thiệu một khái niệm mới =>kiểm tra lịch sử git! (bởi lemmy).
  • 465
  • MIT

CommunityModules

Các đoạn trích, toán tử và mô-đun TLA+ do cộng đồng TLA+ đóng góp và quản lý.
  • 228
  • MIT

pgo

PGo là một trình biên dịch nguồn tới nguồn từ thông số kỹ thuật Modular PlusCal vào các chương trình Go..
  • 143
  • Apache License 2.0

ewd998

Phát hiện kết thúc phân tán trên một vòng, do Shmuel Safra:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Thông số kỹ thuật và mô hình để giải quyết các vấn đề của DeadlockEmpire bằng TLA+ và TLC.
  • 18

TLAplus

TLA + câu hỏi, câu trả lời và thí nghiệm (của Isaac-DeFrain).
  • 17
  • Apache License 2.0

raft.tla

Thông số kỹ thuật TLA+ cho thuật toán đồng thuận Raft.
  • 8

advent-of-tla

Mục tiêu AoC trong TLA+.
  • 6
  • MIT