diku-dk / hpps-e2020-pubLinks
☆11Updated 4 years ago
Alternatives and similar repositories for hpps-e2020-pub
Users that are interested in hpps-e2020-pub are comparing it to the libraries listed below
Sorting:
- The official interpreter for the Jeopardy language☆16Updated 3 years ago
- Parallel Functional Programming, 2020☆16Updated last year
- Organization and planning for the Initial Types Club☆75Updated 3 years ago
- Public repository for HPPS 2022☆21Updated 2 years ago
- Public repository for the HPPS course☆17Updated 3 years ago
- Fast equality saturation in Haskell☆92Updated 3 weeks ago
- A non-interactive proof assistant using the Haskell type system☆38Updated 5 years ago
- Haskell implementation of the QOI image format☆17Updated 2 years ago
- My master thesis about generic programming and ornaments☆16Updated 9 years ago
- Haskell-centric Fast Accurate Curve Rasterizer☆24Updated 4 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- Agda programming with holes☆28Updated 4 years ago
- GHC Whole Program Compiler and External STG IR tooling☆120Updated 2 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆128Updated last year
- Prototype implementations of systems based on setoid type theory☆65Updated 5 years ago
- ☆20Updated last year
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 7 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated 11 months ago
- Programming library for Agda☆134Updated last year
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆57Updated last year
- A library for doing generic programming in Agda☆35Updated 4 years ago
- Staged push/pull fusion with typed Template Haskell☆62Updated 2 years ago
- Example uses of linear types☆43Updated 5 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Reimplementation of Parsley in Haskell, with improvements☆60Updated 2 months ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆14Updated 7 years ago
- Haskell optimisation tool based on supercompilation☆28Updated 9 years ago
- What I wish I knew when learning HoTT☆53Updated 6 years ago
- The theory of algebraic graphs formalised in Agda☆91Updated 7 years ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated 3 months ago