Explore Projects
Discover 7 open source projects
Showing 1-7 of 7 projects
hmemcpy/milewski-ctfp-pdf
An open-source PDF and LaTeX source for Bartosz Milewski's 'Category Theory for Programmers' book, a popular resource for learning category theory.
steshaw/plt
A library for exploring programming language theory, with a focus on lambda calculus and type theory.
varkor/quiver
A modern, web-based commutative diagram editor for category theory and mathematical typesetting.
yishn/tikzcd-editor
A visual editor for creating commutative diagrams, useful for developers working with category theory concepts.
bgavran/Category_Theory_Machine_Learning
A collection of papers studying machine learning through the lens of category theory for developers.
JasonShin/fp-core.rs
A Rust library providing functional programming utilities and abstractions like Applicative, Monad, Functor, etc.
thma/LtuPatternFactory
A Haskell library that explores the relationship between functional programming concepts and software design patterns.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.