CategoricalData / HoTT-categoriesLinks
A category theory library built on top of Homotopy Type Theory, by Jason Gross
☆25Updated 11 years ago
Alternatives and similar repositories for HoTT-categories
Users that are interested in HoTT-categories are comparing it to the libraries listed below
Sorting:
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Combinatorial species in HoTT☆12Updated 10 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17Updated 7 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 6 months ago
- ☆30Updated 7 years ago
- An extended typed Lambda Calculus☆21Updated 9 months ago
- Explorations in relations and the algebra of programming☆17Updated 5 years ago
- Formalism and proofs for esverify☆20Updated 7 years ago
- A talk☆28Updated 4 years ago
- A categorical semantics library in Agda.☆17Updated 5 years ago
- FFI-based byte buffers for Idris☆10Updated 5 years ago
- Type theory in type theory☆16Updated 13 years ago
- ☆23Updated 7 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 5 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Collection of Idris snippets☆21Updated last year
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- A string diagram generator for LaTeX.☆27Updated last year
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Selective applicative functors laws and theorems☆14Updated 5 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago