主题 · category-theory

category-theory

标记 category-theory 主题、收录中的开源项目，按星标数排序。

项目数

9

总星标数

26,718

平均星标数

2,969

占比

0.00%

常跟 category-theory 一起出现在同一个项目上的主题。

近期新秀

近 90 天内创建、标记 category-theory 主题的项目。

近 90 天内还没有新项目标记这个主题。

#1
milewski-ctfp-pdf ↗@hmemcpyTeX
Bartosz Milewski 的《程序员的类别理论》非官方 PDF 与 LaTeX 源文件
★ 11,690+0近 7 天星标变化
#2
plt ↗@steshawCSS
程序语言理论 λΠ
★ 5,362+0近 7 天星标变化
#3
quiver ↗@varkorJavaScript
一个现代化的网页交换图编辑器
★ 3,614+0近 7 天星标变化
#4
Category_Theory_Machine_Learning ↗@bgavranPython
通过范畴论视角研究机器学习的论文清单
★ 1,539+0近 7 天星标变化
#5
fp-core.rs ↗@JasonShinRust
Rust 函数式编程库
★ 1,428+0近 7 天星标变化
#6
LtuPatternFactory ↗@thmaHaskell
终极模式工厂 Lambda：FP、Haskell、Typeclassopedia 与软件设计模式
★ 1,000+0近 7 天星标变化
#7
category-theory ↗@jwiegleyRocq Prover
在 Coq 中进行个人研究与实务工作的范畴论（Category Theory）无公理形式化
★ 808+1近 7 天星标变化
#8
Catlab.jl ↗@AlgebraicJuliaJulia
用于 Julia 语言的应用范畴论框架。
★ 725-1近 7 天星标变化
#9
FsToolkit.ErrorHandling ↗@demystifyfpF#
一个具备特定观点的 F# 错误处理库。
★ 552+0近 7 天星标变化

← 返回主题列表