94 Open Source Category Theory Software Projects
Free and open source category theory code projects including engines, APIs, generators, and tools.
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Milewski Ctfp Pdf9141 ⭐
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Scala Category Theory27 ⭐
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
Notes Milewski Ctfp Hs25 ⭐
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
Fundamental Haskell99 ⭐
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.
This project is to contain a listing of common theorems in elementary category theory.
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Sellout Cheshire11 ⭐
This library tries to push categorical representations to their limit in Scala. I don’t expect it to be practical.
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
Category Theory611 ⭐
An axiom-free formalization of category theory in Coq for personal study and practical work
Zio Prelude340 ⭐
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Foundational Knowledge For Programmers128 ⭐
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Free Arrow14 ⭐
Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows
List of papers studying machine learning through the lens of category theory
Sebastienfilion Functional102 ⭐
C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱
My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
Every Single Day I Tldr280 ⭐
A daily digest of the articles or videos I've found interesting, that I want to share with you.
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.
Functional Structures Refactoring Kata29 ⭐
Starting code and proposed solution for Functional Structures Refactoring Kata