Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
-
Updated
Oct 20, 2024 - TeX
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Programming Language Theory λΠ
A modern commutative diagram editor for the web.
A simple visual editor for creating commutative diagrams.
A library for functional programming in Rust
List of papers studying machine learning through the lens of category theory
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
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
A framework for applied category theory in the Julia language
Category theory in the context of (functional) programming
Functional programming great resources
An opinionated F# Library for error handling
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
Programming language agnostic type construction language based on polynomials.
The Python toolkit for computing with string diagrams.
A book about category theory
A daily digest of the articles or videos I've found interesting, that I want to share with you.
Add a description, image, and links to the category-theory topic page so that developers can more easily learn about it.
To associate your repository with the category-theory topic, visit your repo's landing page and select "manage topics."