Topic · category-theory

category-theory

Tracked open-source repos tagged category-theory, sorted by stars.

Repos

9

Total stars

26,718

Avg. stars

2,969

Share

0.00%

Topics that frequently appear alongside category-theory on the same repo.

Recent risers

Repos created in the last 90 days, tagged category-theory.

No new repos tagged with this topic in the last 90 days.

#1
milewski-ctfp-pdf ↗@hmemcpyTeX
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
★ 11,690+8Star change over the last 7 days
#2
plt ↗@steshawCSS
Programming Language Theory λΠ
★ 5,362+1Star change over the last 7 days
#3
quiver ↗@varkorJavaScript
A modern commutative diagram editor for the web.
★ 3,614+2Star change over the last 7 days
#4
Category_Theory_Machine_Learning ↗@bgavranPython
List of papers studying machine learning through the lens of category theory
★ 1,539+0Star change over the last 7 days
#5
fp-core.rs ↗@JasonShinRust
A library for functional programming in Rust
★ 1,428+0Star change over the last 7 days
#6
LtuPatternFactory ↗@thmaHaskell
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
★ 1,000+0Star change over the last 7 days
#7
category-theory ↗@jwiegleyRocq Prover
An axiom-free formalization of category theory in Coq for personal study and practical work
★ 807+1Star change over the last 7 days
#8
Catlab.jl ↗@AlgebraicJuliaJulia
A framework for applied category theory in the Julia language
★ 726+0Star change over the last 7 days
#9
FsToolkit.ErrorHandling ↗@demystifyfpF#
An opinionated F# Library for error handling
★ 552+0Star change over the last 7 days

← Back to topics