|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,186||20 days ago||55||other||TeX|
|Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source|
|A modern commutative diagram editor for the web.|
|A simple visual editor for creating commutative diagrams.|
|Render tikzcd diagrams with JSX.|
|Category Theory For Programmers||21||10 months ago||mit||TypeScript|
|🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚|
|Commutative Diagrams||21||6 months ago||11||mit||TeX|
|CoDi: Commutative Diagrams for TeX|
|Reed Thesis||13||5 years ago||mpl-2.0||TeX|
|My undergradate thesis on coinductive types in univalent type theory|
|String Diagrams||3||10 days ago||5||lppl-1.3c||TeX|
|Create string diagrams with LaTeX!|
|University Notes||3||a month ago||TeX|
|Rdcategorywriter||2||5 years ago||mit||Swift|
|It is a program to transform Diagram used in Categorical Theory to LaTex (xymatrix) using Swift.|
An unofficial PDF version of "Category Theory For Programmers" by Bartosz Milewski, converted from his blogpost series (with permission!).
The building workflow requires Nix. After installing Nix, you need to enable the upcoming "flake" feature which must be enabled manually the time being. This is needed to expose the new Nix commands and flakes support that are hidden behind feature-flags.
nix flake show in the root directory of the project to see
all the available versions of this book. Then type
nix build .#<edition> to
build the edition you want (Haskell, Scala, OCaml, Reason and their printed
versions). For example, to build the Scala edition you'll have to type
nix build .#ctfp-scala.
Upon successful compilation, the PDF file will be placed in the
nix develop will provide a shell containing all the required
dependencies to build the book manually using the provided
Makefile. To build
ctfp-scala edition, just run
Contributors are welcome to contribute to this book by sending pull-requests. Once reviewed, the changes are merged in the main branch and will be incorporated in the next release.
Note from Bartosz: I really appreciate all your contributions. You made this book much better than I could have imagined. Thank you!
Find the list of contributors on Github.
PDF LaTeX source and the tools to create it are based on the work by Andres Raba. The book content is taken, with permission, from Bartosz Milewski's blogpost series, and adapted to the LaTeX format.
The original blog post acknowledgments by Bartosz are consolidated in the Acknowledgments page at the end of the book.
The PDF book,
.tex files, and associated images and figures in directories
src/content are licensed under Creative Commons
Attribution-ShareAlike 4.0 International License.
The script files
scraper.py and others are licensed under GNU General Public
License version 3.