| 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 |
| liuxinyu95/unplugged |
2,821 |
|
0 |
0 |
over 2 years ago |
0 |
|
10 |
|
TeX |
| Open book about math and programming. |
| CatTheoryByExample/book |
52 |
|
0 |
0 |
almost 3 years ago |
0 |
|
0 |
other |
TeX |
| The category theory by example book |
| srcreigh/aluffi |
45 |
|
0 |
0 |
over 8 years ago |
0 |
|
4 |
|
TeX |
| Solutions to Paolo Aluffi's "Algebra: Chapter 0". |
| TheCedarPrince/C3T |
27 |
|
0 |
0 |
almost 3 years ago |
0 |
|
2 |
|
TeX |
| C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱 |
| paolobrasolin/commutative-diagrams |
26 |
|
0 |
0 |
over 2 years ago |
0 |
|
4 |
mit |
TeX |
| CoDi: Commutative Diagrams for TeX |
| jpvillaisaza/cain |
23 |
|
0 |
0 |
about 7 years ago |
0 |
|
2 |
|
TeX |
| Category theory applied to functional programming (undergraduate project) |
| bennn/pierce-categories |
14 |
|
0 |
0 |
about 4 years ago |
0 |
|
0 |
|
TeX |
| Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce. |
| bolt12/tymfgg-pearl |
14 |
|
0 |
0 |
over 5 years ago |
0 |
|
0 |
|
TeX |
| Type Your Matrices For Great Good |
| 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 |
