CategoricalData / HoTT-categories
A category theory library built on top of Homotopy Type Theory, by Jason Gross
☆24Updated 10 years ago
Related projects: ⓘ
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Combinatorial species in HoTT☆12Updated 9 years ago
- An extended typed Lambda Calculus☆20Updated last month
- Explorations in relations and the algebra of programming☆17Updated 4 years ago
- ☆44Updated last year
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- A partial implementation of Protocol Buffers in Idris☆29Updated 7 years ago
- My undergradate thesis on coinductive types in univalent type theory☆16Updated 6 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- FFI-based byte buffers for Idris☆11Updated 5 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- ☆26Updated last year
- An intensely interactive, graphical theorem prover based on natural deduction☆30Updated 10 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆23Updated 10 years ago
- A string diagram generator for LaTeX.☆26Updated last year
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- A talk☆28Updated 3 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- ☆28Updated 6 years ago
- Selective applicative functors laws and theorems☆14Updated 4 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Two-Level Type Theory☆27Updated 4 years ago
- Invertible parsing for S-expressions☆33Updated this week
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- Category Theory in Agda☆12Updated 6 years ago
- TODO☆10Updated 8 years ago
- A proof that Idris is pacman complete☆8Updated 6 years ago
- translations of a lambda abstraction to combinations of operators☆17Updated 5 years ago
- Mathematical stories☆13Updated 3 years ago