Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
A modern commutative diagram editor for the web.
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
An opinionated F# Library for error handling
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Programming language agnostic type construction language based on polynomials.
formally verified category theory library
Starting code and proposed solution for Functional Structures Refactoring Kata