mattecapu / awesome-double-categories
A list of works and resources about double category theory, with a particular focus on applications.
☆25Updated 2 years ago
Alternatives and similar repositories for awesome-double-categories:
Users that are interested in awesome-double-categories are comparing it to the libraries listed below
- Formalization of category theory in Agda☆15Updated 2 years ago
- ☆44Updated 2 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last year
- Theory and Applications of Lenses and Optics☆55Updated 2 years ago
- Neural networks using parametric prelenses and Trimbara modules☆32Updated 11 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- A talk☆28Updated 3 years ago
- Certified Machine Learning☆41Updated 3 years ago
- A Haskell DSEL for experimental game theory.☆36Updated 2 years ago
- ☆36Updated 7 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆80Updated 8 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆26Updated 3 years ago
- ☆114Updated 7 months ago
- Paper and talk☆50Updated last year
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 11 months ago
- The theory of algebraic graphs formalised in Agda☆89Updated 6 years ago
- ☆29Updated 6 years ago
- Agda category theory library for denotational design☆50Updated 8 months ago
- oleg modules☆30Updated 12 years ago
- ☆44Updated last year
- Haskell embedding of PlusCal☆61Updated 2 years ago
- ☆46Updated 9 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆57Updated last year
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 4 years ago
- Optics via the profunctor representation theorem☆24Updated 2 months ago
- A DSL for the internal language of a topos☆62Updated 10 months ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago