- 星标
- 3,138 个星标 (3,138 个星标)
- 派生
- 328 个派生 (328 个派生)
- 已索引议题
- 1 个已索引议题 (1 个已索引议题)
- 个开放新手议题
- 0 个开放的新手议题 (0 个开放的新手议题)
- 最近索引
- 2026年8月2日
- 最近 GitHub push
- 2026年8月1日
- 贡献指南
- 没有贡献指南
- 行为准则
- 没有行为准则
- 主要语言
- F#
- PR 合并指标
- 平均合并 1天 1小时 (平均合并 1天 1小时)30 天内合并 122 个 PR (30 天内合并 122 个 PR)
- 新手标签
- 没有已索引的新手标签
