搜索结果：category-theory（2 个）

今日热门（多来源加权）本周热门本月热门最近新增 Star 增长最快 Fork 增长最快商业潜力较高适合个人开发者

按分类缩小范围

全部分类 AI 应用与 AI Agent AI 模型与开发框架自动化与工作流数据分析与数据处理网站与 SaaS 工具效率与办公工具图像、视频与音频内容创作与媒体工具电商与营销工具游戏与娱乐网络与基础设施开发者工具安全与隐私工具教育与学习其他

zio-prelude

综合 54

ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库，可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级，深度融合 Scala 子类型特性与 ZIO 生态，提供常用代数抽象与实用数据类型（如 NonEmptyList、Validation 等），帮助开发者更简单、务实地组合类型与处理数据。

Scala 472 118 2026-11-11

效率与办公工具自动化与工作流网站与 SaaS 工具部署：待检测

rzk

综合 53

〔中文简介暂未生成〕 An experimental proof assistant based on a type theory for synthetic ∞-categories.

Haskell 313 31 2026-11-11

AI 应用与 AI Agent 游戏与娱乐数据分析与数据处理部署：待检测