tlaplus/CommunityModules
Xem trên GitHubTLA+ snippets, operators, and modules contributed and curated by the TLA+ community
- Star
- 315
- Fork
- 48
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 13
- Merge trung bình
- 13 giờ 27 phút
- Pull request đã merge (30 ngày)
- 2
- Ngôn ngữ chính
- TLA
- Giấy phép
- MIT
- Lần push lên GitHub gần nhất
- 12/9/2026
- Lập chỉ mục gần nhất
- 19/9/2026
- Hướng dẫn đóng góp
- Không có hướng dẫn đóng góp
- Quy tắc ứng xử
- Không có quy tắc ứng xử
- Label cho người mới
- Chưa lập chỉ mục label nào cho người mới
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
tlaplus/CommunityModules#105 · 1 bình luận ·
-
enhancement
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 42/100
tlaplus/CommunityModules#102 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
tlaplus/CommunityModules#85 · 11 bình luận ·
-
Remove Json module Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 35/100
tlaplus/CommunityModules#77 ·
-
enhancement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
tlaplus/CommunityModules#68 ·
-
bug
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
tlaplus/CommunityModules#60 · 6 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 28/100
tlaplus/CommunityModules#54 · 3 bình luận ·
-
Add an SVG!Table/Grid of Text Đang mởenhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
tlaplus/CommunityModules#50 ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
tlaplus/CommunityModules#48 · 1 bình luận ·
-
Add PlusPy's `Messaging.tla` Đang mởenhancement
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 30/100
tlaplus/CommunityModules#41 · 1 bình luận ·
-
bug
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
tlaplus/CommunityModules#39 · 5 bình luận ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 25/100
tlaplus/CommunityModules#17 · 2 bình luận ·
-
enhancement
tlaplus/CommunityModules#16 · 6 bình luận · 1 người được giao ·