Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

• UpdatedMar 27, 2025
• TeX

Programming Language Theory λΠ

• UpdatedDec 2, 2024
• CSS

A modern commutative diagram editor for the web.

• UpdatedFeb 21, 2025
• JavaScript

A simple visual editor for creating commutative diagrams.

• UpdatedOct 31, 2020
• JavaScript

List of papers studying machine learning through the lens of category theory

• UpdatedMar 5, 2025
• Python

A library for functional programming in Rust

• UpdatedJul 12, 2022
• Rust

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

• UpdatedJan 17, 2024
• Haskell

An axiom-free formalization of category theory in Coq for personal study and practical work

• UpdatedMar 24, 2025
• Coq

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

• UpdatedOct 9, 2022
• Swift

A framework for applied category theory in the Julia language

• UpdatedApr 4, 2025
• Julia

Category theory in the context of (functional) programming

• UpdatedFeb 26, 2018

An opinionated F# Library for error handling

• UpdatedMay 1, 2025
• F#

Functional programming great resources

• UpdatedApr 17, 2020

Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.

• UpdatedMay 16, 2024
• Clojure

ACT community resources

• UpdatedNov 26, 2019

A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration

• UpdatedApr 22, 2025
• Scala

A book about category theory

• UpdatedApr 8, 2025
• HTML

The Python toolkit for computing with string diagrams.

• UpdatedMar 28, 2025
• Python

Programming language agnostic type construction language based on polynomials.

• UpdatedMay 29, 2024
• Idris

A daily digest of the articles or videos I've found interesting, that I want to share with you.

• UpdatedApr 30, 2025