There are 27 repositories under category-theory topic.
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
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
Category theory in the context of (functional) programming
Functional programming great resources
ACT community resources
A framework for applied category theory in the Julia language
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
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.
An opinionated F# Library for error handling
A daily digest of the articles or videos I've found interesting, that I want to share with you.
Categorical Query Language IDE
formally verified category theory library
a toolbox for computing with monoidal categories
A ReasonML/Ocaml library for category theory and abstract algebra
List of papers studying machine learning through the lens of category theory
A categorical programming language with effects
CQL: Categorical Query Language implementation in Haskell
List of resources about foundational knowledge for programmers (supposed to last a few decades)
A naive approach to functional programming using TypeScript
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
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.
A formalization of category theory in the Coq proof assistant.
Thoughts on adjoint, norm and such.
Code samples for #monadicmonday topics