Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Milewski Ctfp Pdf | 10,547 | 4 months ago | 53 | other | TeX | |||||
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source | ||||||||||
Unplugged | 2,821 | 6 months ago | 10 | TeX | ||||||
Open book about math and programming. | ||||||||||
Book | 52 | 9 months ago | other | TeX | ||||||
The category theory by example book | ||||||||||
Aluffi | 45 | 6 years ago | 4 | TeX | ||||||
Solutions to Paolo Aluffi's "Algebra: Chapter 0". | ||||||||||
C3t | 27 | a year ago | 2 | TeX | ||||||
C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱 | ||||||||||
Commutative Diagrams | 26 | 8 months ago | 4 | mit | TeX | |||||
CoDi: Commutative Diagrams for TeX | ||||||||||
Cain | 23 | 5 years ago | 2 | TeX | ||||||
Category theory applied to functional programming (undergraduate project) | ||||||||||
Tymfgg Pearl | 14 | 4 years ago | TeX | |||||||
Type Your Matrices For Great Good | ||||||||||
Pierce Categories | 14 | 2 years ago | TeX | |||||||
Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce. | ||||||||||
Reed Thesis | 13 | 6 years ago | mpl-2.0 | TeX | ||||||
My undergradate thesis on coinductive types in univalent type theory |