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
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
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