91 Open Source Category Theory Software Projects
Free and open source category theory code projects including engines, APIs, generators, and tools.
Milewski Ctfp Pdf 8903 ⭐
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Ltupatternfactory 782 ⭐
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Category Theory 594 ⭐
An axiom-free formalization of category theory in Coq for personal study and practical work
Fluokitten 424 ⭐
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Scala_typeclassopedia 361 ⭐
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 273 ⭐
A daily digest of the articles or videos I've found interesting, that I want to share with you.
Zio Prelude 320 ⭐
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Foundational Knowledge For Programmers 122 ⭐
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Fundamental Haskell 97 ⭐
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 60 ⭐
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 27 ⭐
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
Free Functors 26 ⭐
Provides free functors that are adjoint to functors that forget class constraints.
Notes Milewski Ctfp Hs 25 ⭐
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
Ct 13 ⭐
My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
Free Arrow 14 ⭐
Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows
Sellout Cheshire 10 ⭐
This library tries to push categorical representations to their limit in Scala. I don’t expect it to be practical.
Sebastienfilion Functional 98 ⭐
Null 102 ⭐
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.