75 Open Source Category Theory Software Projects
Free and open source category theory code projects including engines, APIs, generators, and tools.
Milewski Ctfp Pdf 7865 ⭐
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Ltupatternfactory 702 ⭐
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Category Theory 540 ⭐
An axiom-free formalization of category theory in Coq for personal study and practical work
Fluokitten 396 ⭐
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Scala_typeclassopedia 341 ⭐
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.
Every Single Day I Tldr 234 ⭐
A daily digest of the articles or videos I've found interesting, that I want to share with you.
Zio Prelude 224 ⭐
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Foundational Knowledge For Programmers 105 ⭐
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Fundamental Haskell 79 ⭐
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.
Catscheatsheet 52 ⭐
This project is to contain a listing of common theorems in elementary category theory.
Functional Structures Refactoring Kata 29 ⭐
Starting code and proposed solution for Functional Structures Refactoring Kata
Scala Category Theory 24 ⭐
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
Free Functors 23 ⭐
Provides free functors that are adjoint to functors that forget class constraints.
Notes Milewski Ctfp Hs 22 ⭐
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
Ct 12 ⭐
My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
Free Arrow 13 ⭐
Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows
Sellout Cheshire 11 ⭐
This library tries to push categorical representations to their limit in Scala. I don’t expect it to be practical.
Sebastienfilion Functional 76 ⭐