Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 12 Book Category Theory Open Source Projects

Open source projects categorized as Book Category Theory
Categories > Mathematics > Category Theory
Milewski Ctfp Pdf ⭐ 10,547
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
most recent commit 4 months ago
Books ⭐ 4,970
Awesome Books
most recent commit 6 months ago
Unplugged ⭐ 2,821
Open book about math and programming.
most recent commit 6 months ago
Category Theory For Programmers ⭐ 381
e-book version of Bartosz Milewski's Category Theory for Programmers
most recent commit 6 years ago
Foundational Knowledge For Programmers ⭐ 112
List of resources about foundational knowledge for programmers (supposed to last a few decades)
most recent commit 3 years ago
Ocaml Ctfp ⭐ 89
OCaml version of Category Theory For Programmers
most recent commit 4 years ago
Book ⭐ 52
The category theory by example book
most recent commit 9 months ago
Applied Category Theory ⭐ 31
GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
most recent commit 6 years ago
Scala Category Theory ⭐ 22
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
most recent commit 6 years ago
Reed Thesis ⭐ 13
My undergradate thesis on coinductive types in univalent type theory
most recent commit 6 years ago
Functionaljswithcategories ⭐ 8
Functional Programming in Javascript with Categories
most recent commit 3 years ago
Category Studygroup ⭐ 8
most recent commit 7 years ago
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
Cookbook
University
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.