Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with cartesian-closed-category
A curated list of projects in awesome lists tagged with cartesian-closed-category .
https://github.com/jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
cartesian cartesian-closed-category categories category category-theory comonads construction coq functor monad monoid profunctor profunctor-composition
Last synced: 31 Jul 2024