Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and ...
Λrrow - Functional companion to Kotlin's Standard Library
Programming Language Theory λΠ
Open book about math and programming.
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 th...
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Sof...
An axiom-free formalization of category theory in Coq for personal study...
🏹 Bow is a cross-platform library for Typed Functional Programming in S...
A framework for applied category theory in the Julia language
Category theory in the context of (functional) programming
Functional programming great resources
ACT community resources
Category theory concepts in Clojure - Functors, Applicatives, Monads, Mo...