diku-dk / howtoLinks
How do I DIKU? How indeed.
☆28Updated last week
Alternatives and similar repositories for howto
Users that are interested in howto are comparing it to the libraries listed below
Sorting:
- Public repository for Advanced Programming☆59Updated last year
- Parallel Functional Programming, 2020☆16Updated 2 years ago
- PMPH course 2020 public repo☆13Updated 2 years ago
- PhD course on Functional Programming and Climate Impact Research☆51Updated 5 months ago
- Play/learn/work with me☆113Updated 2 months ago
- ☆44Updated 4 years ago
- Effective Algebraic Topology in Haskell☆91Updated last year
- A "implementation" of Girard's paradox in OCaml☆110Updated 10 years ago
- The Iowa Agda Library☆53Updated 2 months ago
- Benchmarks for capture-avoiding substitution☆122Updated 8 months ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆127Updated 4 years ago
- a proof-of-concept programming language based on call-by-push-value☆61Updated 3 weeks ago
- Compiling Agda code to readable Haskell☆200Updated last week
- Agda lecture notes for the Functional Programming course at TU Delft☆132Updated 6 months ago
- being the materials for Summer 2013's course☆113Updated 2 years ago
- an implementation of stuck macros☆152Updated last month
- ☆94Updated 9 months ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆110Updated 4 years ago
- Tutorial series introducing Agda to the people at BCAM☆27Updated 4 years ago
- Total Parser Combinators in Agda☆133Updated 6 months ago
- A small implementation of higher-order unification☆192Updated 8 years ago
- A work-in-progress core language for Agda, in Agda☆64Updated this week
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆115Updated last month
- This aims to be the most pretentious implementation of stlc in existence☆65Updated 3 years ago
- ☆143Updated 3 years ago
- Accelerated machine learning with dependent types☆101Updated last month
- Agda bindings to SMT-LIB2 compatible solvers.☆104Updated 5 months ago
- Summer school on programming in Agda☆68Updated 2 years ago
- Programming library for Agda☆134Updated last year
- 15-819 (Homotopy Type Theory) Lecture Notes☆58Updated 5 years ago