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 | ||||||||||
Quiver | 2,246 | 4 months ago | 40 | mit | JavaScript | |||||
A modern commutative diagram editor for the web. | ||||||||||
Tikzcd Editor | 1,364 | 4 years ago | 10 | mit | JavaScript | |||||
A simple visual editor for creating commutative diagrams. | ||||||||||
Jsx Tikzcd | 36 | 1 | 2 | 4 years ago | 12 | January 25, 2020 | mit | JavaScript | ||
Render tikzcd diagrams with JSX. | ||||||||||
Commutative Diagrams | 26 | 8 months ago | 4 | mit | TeX | |||||
CoDi: Commutative Diagrams for TeX | ||||||||||
Category Theory For Programmers | 21 | 2 years ago | mit | TypeScript | ||||||
🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚 | ||||||||||
Reed Thesis | 13 | 6 years ago | mpl-2.0 | TeX | ||||||
My undergradate thesis on coinductive types in univalent type theory |