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 | ||||||||||
Books | 4,970 | 6 months ago | 9 | cc0-1.0 | ||||||
Awesome Books | ||||||||||
Unplugged | 2,821 | 6 months ago | 10 | TeX | ||||||
Open book about math and programming. | ||||||||||
Category Theory For Programmers | 381 | 6 years ago | 2 | CSS | ||||||
e-book version of Bartosz Milewski's Category Theory for Programmers | ||||||||||
Foundational Knowledge For Programmers | 112 | 3 years ago | ||||||||
List of resources about foundational knowledge for programmers (supposed to last a few decades) | ||||||||||
Ocaml Ctfp | 89 | 4 years ago | gpl-3.0 | C++ | ||||||
OCaml version of Category Theory For Programmers | ||||||||||
Book | 52 | 9 months ago | other | TeX | ||||||
The category theory by example book | ||||||||||
Applied Category Theory | 31 | 6 years ago | other | Shell | ||||||
GitBook version of Dr. Baez's lectures from his online Applied Category Theory course. | ||||||||||
Scala Category Theory | 22 | 6 years ago | 1 | gpl-3.0 | Scala | |||||
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests | ||||||||||
Reed Thesis | 13 | 6 years ago | mpl-2.0 | TeX | ||||||
My undergradate thesis on coinductive types in univalent type theory |