cloudhead/nonempty
在 GitHub 查看Correct by construction non-empty list
- 星标
- 74
- 派生
- 30
- 开放的新手 issue
- 1
- 已索引 issue
- 6
- 主要语言
- Rust
- 许可证
- MIT
- 最近 GitHub push
- 2025年7月19日
- 最近索引
- 2026年9月15日
- 贡献指南
- 没有贡献指南
- 行为准则
- 没有行为准则
- 新手标签
- 没有已索引的新手标签
- PR 合并指标
- 30 天内没有已合并 PR
-
难度 1/5 1 小时以内 新手友好度 88/100
-
难度 2/5 1-3 小时 新手友好度 55/100
-
难度 3/5 1-2 天 新手友好度 35/100
-
难度 3/5 1-2 天 新手友好度 45/100
-
难度 5/5 一周以上 新手友好度 30/100
-
难度 5/5 一周以上 新手友好度 25/100