statusfailed / cartographer-string-diagrammatic-reasoning
☆44Updated 2 years ago
Alternatives and similar repositories for cartographer-string-diagrammatic-reasoning
Users that are interested in cartographer-string-diagrammatic-reasoning are comparing it to the libraries listed below
Sorting:
- ☆30Updated 6 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Paper and talk☆54Updated last year
- topos programming☆31Updated 6 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- An efficient graph library for Haskell☆39Updated 9 months ago
- ☆27Updated last year
- Cohesive type theory☆19Updated 3 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆28Updated 3 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 5 months ago
- Dependently typed elimination functions using singletons☆28Updated 4 months ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- A talk☆28Updated 4 years ago
- Interpret Haskell programs into any cartesian closed category.☆60Updated 4 months ago
- A Haskell library for mathematical graph parsing and writing.☆20Updated 4 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Agda-style equational reasoning in Haskell☆53Updated last month
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 6 years ago
- Haskell library for semigroup actions and torsors☆62Updated 3 months ago
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- Directed type theory for formal category theory☆17Updated 8 years ago
- Combinatorial species in HoTT☆12Updated 9 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- Free categories, free arrows and free categories with monadic actions☆24Updated 2 months ago