Repository Index

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

• haskell
• category-theory
• functional-programming
• pdf

A modern commutative diagram editor for the web.

• commutative-diagrams
• category-theory
• editor
• tikz

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

• category-theory
• coq
• monad
• profunctor

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

• functional-programming
• category-theory
• functor
• monad

An opinionated F# Library for error handling

• fsharp
• error-handling
• railway-oriented-programming
• category-theory

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

• clojure
• category-theory
• clojure-library
• monad

Programming language agnostic type construction language based on polynomials.

• type-definitions
• serialization-library
• types
• f-algebras

formally verified category theory library

• category-theory
• formal-verification
• formal-proofs

Starting code and proposed solution for Functional Structures Refactoring Kata

• functional-programming
• kata
• deliberate-practice
• category-theory