Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Latex Category Theory Open Source Projects

Open source projects categorized as Latex Category Theory
Categories > Mathematics > Category Theory
Categories > Data Formats > Latex
Milewski Ctfp Pdf ⭐ 10,547
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
most recent commit 4 months ago
Quiver ⭐ 2,246
A modern commutative diagram editor for the web.
most recent commit 4 months ago
Tikzcd Editor ⭐ 1,364
A simple visual editor for creating commutative diagrams.
most recent commit 3 years ago
Jsx Tikzcd ⭐ 36
Render tikzcd diagrams with JSX.
dependent packages 2total releases 12most recent commit 4 years agonpm jsx-tikzcd} Downloads
Commutative Diagrams ⭐ 26
CoDi: Commutative Diagrams for TeX
most recent commit 8 months ago
Category Theory For Programmers ⭐ 21
🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
most recent commit 2 years ago
Reed Thesis ⭐ 13
My undergradate thesis on coinductive types in univalent type theory
most recent commit 6 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.