diku-dk / hpps-e2021-pubLinks
Public repository for the HPPS course
☆17Updated 3 years ago
Alternatives and similar repositories for hpps-e2021-pub
Users that are interested in hpps-e2021-pub are comparing it to the libraries listed below
Sorting:
- Parallel Functional Programming, 2020☆16Updated last year
- ☆40Updated last week
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 7 months ago
- Points for Free: Embedding Pointful Array Programming in Python☆17Updated last year
- Standard ML Parser Combinator Library☆16Updated last year
- being some thoughts about introductory mathematics for computer science☆17Updated 3 weeks ago
- Tutorial for using the MPL compiler for Parallel ML☆21Updated 8 months ago
- ☆24Updated last month
- Eventually a practical 2-level TT-based compiler☆27Updated this week
- Benchmarks for capture-avoiding substitution☆119Updated 3 months ago
- Public repository for HPPS☆13Updated 7 months ago
- DIKU Support Tools for Canvas LMS☆14Updated last year
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated 3 months ago
- Public repository for Advanced Programming☆55Updated this week
- ☆21Updated 4 years ago
- A Dependently Timed Drum Machine Language☆10Updated last year
- antifunext☆34Updated last year
- Accelerated machine learning with dependent types☆98Updated last month
- ☆26Updated 2 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆28Updated 3 years ago
- Fast equality saturation in Haskell☆87Updated 2 months ago
- A monadic library for symbolic evaluation☆69Updated 2 months ago
- An agda2hs-compatible library for well-scoped syntax☆11Updated 4 months ago
- Agda formalisation of second-order abstract syntax☆55Updated 3 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆22Updated 4 months ago
- ☆48Updated last month
- Organization and planning for the Initial Types Club☆73Updated 3 years ago
- A formalized proof of a version of the initiality conjecture☆43Updated 5 years ago
- apkg - package manager for Agda☆38Updated 4 years ago