Chủ đề · category-theory

category-theory

Các kho mã nguồn mở đang theo dõi được gắn thẻ category-theory, sắp xếp theo số sao.

Kho mã

9

Tổng số sao

26.718

Số sao trung bình

2.969

Tỷ trọng

0,00%

Những chủ đề thường xuất hiện cùng category-theory trên cùng một kho mã.

Mới nổi gần đây

Các kho mã tạo trong 90 ngày qua và được gắn thẻ category-theory.

Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.

#1
milewski-ctfp-pdf ↗@hmemcpyTeX
Mã nguồn PDF và LaTeX phi chính thức cho cuốn 'Category Theory for Programmers' của Bartosz Milewski
★ 11.690+8Thay đổi số sao trong 7 ngày qua
#2
plt ↗@steshawCSS
Lý thuyết ngôn ngữ lập trình λΠ
★ 5.362+1Thay đổi số sao trong 7 ngày qua
#3
quiver ↗@varkorJavaScript
Trình chỉnh sửa biểu đồ giao hoán hiện đại cho web.
★ 3.614+2Thay đổi số sao trong 7 ngày qua
#4
Category_Theory_Machine_Learning ↗@bgavranPython
Danh sách các bài báo nghiên cứu học máy qua góc nhìn của lý thuyết phạm trù
★ 1.539+0Thay đổi số sao trong 7 ngày qua
#5
fp-core.rs ↗@JasonShinRust
Một thư viện lập trình hàm trong Rust
★ 1.428+0Thay đổi số sao trong 7 ngày qua
#6
LtuPatternFactory ↗@thmaHaskell
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia so với các mẫu thiết kế phần mềm
★ 1.000+0Thay đổi số sao trong 7 ngày qua
#7
category-theory ↗@jwiegleyRocq Prover
Hệ thống hóa lý thuyết phạm trù không tiên đề trong Coq phục vụ nghiên cứu cá nhân và công việc thực tế
★ 808+2Thay đổi số sao trong 7 ngày qua
#8
Catlab.jl ↗@AlgebraicJuliaJulia
Một framework cho lý thuyết phạm trù ứng dụng trong ngôn ngữ Julia.
★ 726+0Thay đổi số sao trong 7 ngày qua
#9
FsToolkit.ErrorHandling ↗@demystifyfpF#
Một thư viện F# chuyên biệt để xử lý lỗi.
★ 552+0Thay đổi số sao trong 7 ngày qua

← Quay lại danh sách chủ đề