Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
#编辑器#A modern commutative diagram editor for the web.
#编辑器#A simple visual editor for creating commutative diagrams.
#计算机科学#List of papers studying machine learning through the lens of category theory
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
A framework for applied category theory in the Julia language
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Category theory in the context of (functional) programming
An opinionated F# Library for error handling
Functional programming great resources
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
ACT community resources
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
A book about category theory
#自然语言处理#The Python toolkit for computing with string diagrams.
Programming language agnostic type construction language based on polynomials.