Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
A categorical programming language with effects
An experimental proof assistant based on a type theory for synthetic ∞-categories.
CQL: Categorical Query Language implementation in Haskell
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
Interpret Haskell programs into any cartesian closed category.
Library of categories, with categorical constructions on them
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
Software specification and verification system based on graph rewriting
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
Operad Programming Language in Haskell, by David Darais
Course materials for Stanford's CS43: Functional Programming Paradigms
Provides free functors that are adjoint to functors that forget class constraints.
evaluation using f-algebras
Category theory concepts in type classes and instances.
a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
Automatic Differentiation using Pseudo Lenses. Neat.
A library encoding monoidal functors and related structures in Haskell.
a categorical programming language (WIP)
Basic mathematics library
Add a description, image, and links to the category-theory topic page so that developers can more easily learn about it.
To associate your repository with the category-theory topic, visit your repo's landing page and select "manage topics."