Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Category Theory Open Source Projects
Open source projects categorized as Category Theory
Categories
>
Mathematics
>
Category Theory
Edit Category
hmemcpy/milewski-ctfp-pdf
⭐
10,547
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
dependent packages
0
total releases
0
most recent commit
over 2 years ago
steshaw/plt
⭐
5,018
Programming Language Theory λΠ
dependent packages
0
total releases
0
most recent commit
over 2 years ago
learn-anything/books
⭐
4,970
Awesome Books
dependent packages
0
total releases
0
most recent commit
over 2 years ago
liuxinyu95/unplugged
⭐
2,821
Open book about math and programming.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
varkor/quiver
⭐
2,246
A modern commutative diagram editor for the web.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
yishn/tikzcd-editor
⭐
1,364
A simple visual editor for creating commutative diagrams.
dependent packages
0
total releases
0
most recent commit
over 5 years ago
thma/LtuPatternFactory
⭐
958
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
dependent packages
0
total releases
0
most recent commit
over 2 years ago
bgavran/Category_Theory_Machine_Learning
⭐
921
List of papers studying machine learning through the lens of category theory
dependent packages
0
total releases
0
most recent commit
over 2 years ago
jwiegley/category-theory
⭐
720
An axiom-free formalization of category theory in Coq for personal study and practical work
dependent packages
0
total releases
0
most recent commit
over 2 years ago
JasonShin/fp-core.rs
⭐
644
A library for functional programming in Rust
dependent packages
0
total releases
0
most recent commit
over 5 years ago
Get A Weekly Email With Trending Category Theory Projects
No Spam. Unsubscribe easily at any time.
Category Theory
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
