CategoricalData / oplLinks
Operad Programming Language in Haskell, by David Darais
☆31Updated 11 years ago
Alternatives and similar repositories for opl
Users that are interested in opl are comparing it to the libraries listed below
Sorting:
- ☆84Updated 7 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- ☆44Updated 2 years ago
- The theory of algebraic graphs formalised in Agda☆90Updated 6 years ago
- Synthetic Differential Geometry in Agda☆12Updated 10 years ago
- Cohesive type theory☆19Updated 3 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Directed type theory for formal category theory☆17Updated 8 years ago
- Dependently Typed Metaprogramming Exercises☆23Updated 7 years ago
- ☆30Updated 7 years ago
- topos programming☆31Updated 6 years ago
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 5 years ago
- ☆17Updated last year
- Categorical logic from a categorical point of view☆78Updated last year
- A talk☆28Updated 4 years ago
- Combinatorial species in HoTT☆12Updated 10 years ago
- What I wish I knew when learning HoTT☆53Updated 6 years ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 6 months ago
- ☆28Updated last year
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- ☆14Updated 8 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆82Updated 8 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- HoTT in Lean 3☆80Updated 4 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- An experimental category theory library for Lean☆51Updated last year