mattecapu / awesome-double-categories
A list of works and resources about double category theory, with a particular focus on applications.
☆24Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for awesome-double-categories
- ☆44Updated last year
- Theory and Applications of Lenses and Optics☆52Updated 2 years ago
- Formalization of category theory in Agda☆14Updated last year
- ☆43Updated last year
- ☆35Updated 4 months ago
- ☆109Updated 3 months ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated last year
- Accelerated machine learning with dependent types☆76Updated 3 weeks ago
- A Datalog extension to reason about time with CTL operators☆14Updated 4 years ago
- Resources for making sense of topology and its concepts☆17Updated 3 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆48Updated 9 months ago
- This project is to contain a listing of common theorems in elementary category theory.☆71Updated 4 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- ☆33Updated 6 months ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- A Haskell DSEL for experimental game theory.☆36Updated 2 years ago
- A type theory with native support for Polynomial Functors.☆38Updated last year
- Neural networks using parametric prelenses and Trimbara modules☆31Updated 7 months ago
- A talk☆28Updated 3 years ago
- ☆28Updated 6 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆78Updated 8 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆47Updated 3 weeks ago
- A DSL for the internal language of a topos☆61Updated 7 months ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- oleg modules☆30Updated 11 years ago
- Text generation language☆32Updated this week