tlaplus/CommunityModules
在 GitHub 查看TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
- 星标
- 315
- 派生
- 48
- 开放的新手 issue
- 0
- 已索引 issue
- 13
- 平均合并
- 13 小时 27 分钟
- 30 天内合并 PR
- 2
- 主要语言
- TLA
- 许可证
- MIT
- 最近 GitHub push
- 2026年9月12日
- 最近索引
- 2026年9月19日
- 贡献指南
- 没有贡献指南
- 行为准则
- 没有行为准则
- 新手标签
- 没有已索引的新手标签
-
enhancement
难度 5/5 一周以上 新手友好度 35/100
tlaplus/CommunityModules#105 · 1 条评论 ·
-
enhancement
难度 3/5 1-2 天 新手友好度 42/100
tlaplus/CommunityModules#102 ·
-
难度 5/5 一周以上 新手友好度 25/100
tlaplus/CommunityModules#85 · 11 条评论 ·
-
难度 2/5 1-3 小时 新手友好度 35/100
tlaplus/CommunityModules#77 ·
-
enhancement
难度 4/5 3-5 天 新手友好度 35/100
tlaplus/CommunityModules#68 ·
-
bug
难度 5/5 一周以上 新手友好度 25/100
tlaplus/CommunityModules#60 · 6 条评论 ·
-
难度 4/5 3-5 天 新手友好度 28/100
tlaplus/CommunityModules#54 · 3 条评论 ·
-
enhancement
难度 5/5 一周以上 新手友好度 25/100
tlaplus/CommunityModules#50 ·
-
难度 3/5 1-2 天 新手友好度 45/100
tlaplus/CommunityModules#48 · 1 条评论 ·
-
enhancement
难度 2/5 1-3 小时 新手友好度 30/100
tlaplus/CommunityModules#41 · 1 条评论 ·
-
bug
难度 3/5 1-2 天 新手友好度 35/100
tlaplus/CommunityModules#39 · 5 条评论 ·
-
难度 2/5 1-3 小时 新手友好度 25/100
tlaplus/CommunityModules#17 · 2 条评论 ·
-
enhancement
tlaplus/CommunityModules#16 · 6 条评论 · 已指派 1 人 ·