walkie / Hagl
A Haskell DSEL for experimental game theory.
☆35Updated 2 years ago
Related projects: ⓘ
- HoTT in Lean 3☆75Updated 4 years ago
- A (formalised) general definition of type theories☆56Updated 3 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆77Updated 8 years ago
- The Iowa Agda Library☆46Updated 3 months ago
- ☆82Updated 7 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- ☆58Updated 5 years ago
- An experimental category theory library for Lean☆46Updated last year
- A workshop on learning Agda with minimal prerequisites.☆84Updated 8 years ago
- A continuation-based backtracking logic programming monad☆85Updated last week
- The theory of algebraic graphs formalised in Agda☆86Updated 6 years ago
- Categorical logic from a categorical point of view☆75Updated 11 months ago
- Basics of the dependently-typed functional language Agda ^_^☆37Updated 2 years ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- Notes and handouts from OPLSS 2018☆53Updated 6 years ago
- apkg - package manager for Agda☆38Updated 3 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated last year
- ☆44Updated last year
- Abstracting Definitional Interpreters☆67Updated 6 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆46Updated last month
- The theory of groups☆76Updated last year
- being the materials for Summer 2013's course☆110Updated last year
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆108Updated 2 weeks ago
- Agda lecture notes for the Functional Programming course at TU Delft☆114Updated 6 months ago
- ☆21Updated 3 years ago
- higher order dependently typed logic programing☆164Updated 6 years ago
- Interpreter for the reversible functional language rFun☆35Updated 6 years ago
- Play/learn/work with me☆89Updated last month
- Effective Algebraic Topology in Haskell☆84Updated last week
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago