| hmemcpy/milewski-ctfp-pdf |
10,547 |
|
0 |
0 |
over 2 years ago |
0 |
|
53 |
other |
TeX |
| Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source |
| learn-anything/books |
4,970 |
|
0 |
0 |
over 2 years ago |
0 |
|
9 |
cc0-1.0 |
|
| Awesome Books |
| liuxinyu95/unplugged |
2,821 |
|
0 |
0 |
over 2 years ago |
0 |
|
10 |
|
TeX |
| Open book about math and programming. |
| onlurking/category-theory-for-programmers |
381 |
|
0 |
0 |
over 7 years ago |
0 |
|
2 |
|
CSS |
| e-book version of Bartosz Milewski's Category Theory for Programmers |
| err0r500/foundational-knowledge-for-programmers |
112 |
|
0 |
0 |
about 5 years ago |
0 |
|
0 |
|
|
| List of resources about foundational knowledge for programmers (supposed to last a few decades) |
| ArulselvanMadhavan/ocaml-ctfp |
89 |
|
0 |
0 |
about 6 years ago |
0 |
|
0 |
gpl-3.0 |
C++ |
| OCaml version of Category Theory For Programmers |
| CatTheoryByExample/book |
52 |
|
0 |
0 |
almost 3 years ago |
0 |
|
0 |
other |
TeX |
| The category theory by example book |
| rabuf/applied-category-theory |
31 |
|
0 |
0 |
almost 8 years ago |
0 |
|
0 |
other |
Shell |
| GitBook version of Dr. Baez's lectures from his online Applied Category Theory course. |
| elbaulp/Scala-Category-Theory |
22 |
|
0 |
0 |
almost 8 years ago |
0 |
|
1 |
gpl-3.0 |
Scala |
| Bartosz Milewski great book on Category Theory implemented in scala, with property Tests |
| langston-barrett/reed-thesis |
13 |
|
0 |
0 |
almost 8 years ago |
0 |
|
0 |
mpl-2.0 |
TeX |
| My undergradate thesis on coinductive types in univalent type theory |
