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

λΠ Programming Language Theory

Λrrow - Functional companion to Kotlin's Standard Library

A simple visual editor for creating commutative diagrams.

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

A library for functional programming in Rust

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

Category theory in the context of (functional) programming

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

Open book about math and computer science.

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

ACT community resources

Functional programming great resources

Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.

Programming language agnostic type construction language based on polynomials.

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

A framework for applied category theory in the Julia language

formally verified category theory library

A ReasonML/Ocaml library for category theory and abstract algebra

Examples with Functional JavaScript, following Professor Frisby's course

Categorical Query Language IDE

Categories parametrized by morphism equality, in Agda

A naive approach to functional programming using TypeScript

CQL: Categorical Query Language implementation in Haskell

A computational algebra system in Smalltalk.

An opinionated F# Library for error handling

List of resources about foundational knowledge for programmers (supposed to last a few decades)

A formalization of category theory in the Coq proof assistant.

a toolbox for computing with monoidal categories

Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.