| 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 |
| varkor/quiver |
2,246 |
|
0 |
0 |
over 2 years ago |
0 |
|
40 |
mit |
JavaScript |
| A modern commutative diagram editor for the web. |
| yishn/tikzcd-editor |
1,364 |
|
0 |
0 |
over 5 years ago |
0 |
|
10 |
mit |
JavaScript |
| A simple visual editor for creating commutative diagrams. |
| yishn/jsx-tikzcd |
36 |
|
1 |
2 |
about 6 years ago |
12 |
January 25, 2020 |
0 |
mit |
JavaScript |
| Render tikzcd diagrams with JSX. |
| paolobrasolin/commutative-diagrams |
26 |
|
0 |
0 |
over 2 years ago |
0 |
|
4 |
mit |
TeX |
| CoDi: Commutative Diagrams for TeX |
| alstn2468/category-theory-for-programmers |
21 |
|
0 |
0 |
over 3 years ago |
0 |
|
0 |
mit |
TypeScript |
| 🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚 |
| 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 |
