主題 · 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 天星數變化

← 返回主題列表