Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
-
Updated
May 16, 2024 - TeX
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Programming Language Theory λΠ
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
A simple visual editor for creating commutative diagrams.
A modern commutative diagram editor for the web.
The Python toolkit for computing with string diagrams.
An axiom-free formalization of category theory in Coq for personal study and practical work
The agda-unimath library
A library for functional programming in Rust
An opinionated F# Library for error handling
A framework for applied category theory in the Julia language
List of papers studying machine learning through the lens of category theory
Functional programming great resources
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Category theory in the context of (functional) programming
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
A book about category theory
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
A ReasonML/Ocaml library for category theory and abstract algebra
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."