Repository navigation
category-theory
- Website
- Wikipedia
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Programming Language Theory λΠ
A modern commutative diagram editor for the web.
Open book about math and programming.
A simple visual editor for creating commutative diagrams.
List of papers studying machine learning through the lens of category theory
A library for functional programming in Rust
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
An axiom-free formalization of category theory in Coq for personal study and practical work
A framework for applied category theory in the Julia language
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Category theory in the context of (functional) programming
An opinionated F# Library for error handling
Functional programming great resources
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
ACT community resources
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
A book about category theory
The Python toolkit for computing with string diagrams.
Programming language agnostic type construction language based on polynomials.