diku-dk / dpp-e2023-pub
Repository for the DPP'23 course
☆11Updated 11 months ago
Alternatives and similar repositories for dpp-e2023-pub:
Users that are interested in dpp-e2023-pub are comparing it to the libraries listed below
- How do I DIKU? How indeed.☆25Updated 3 months ago
- A better version of KU's course catalogue☆19Updated last week
- Course website for Data Parallel Programming at DIKU☆10Updated 4 months ago
- Public repository for the 2023 edition of HPPS☆19Updated last year
- PMPH course 2020 public repo☆12Updated last year
- Public repository for the HPPS course☆17Updated 3 years ago
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- Standard ML Parser Combinator Library☆16Updated 7 months ago
- Implementation of the Delta Language☆8Updated last year
- Demo for dependent types + runtime code generation☆69Updated 2 months ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 2 months ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆54Updated this week
- A constructive proof assistant for second order logic.☆34Updated 6 months ago
- Public repository for HPPS☆12Updated 3 months ago
- ☆18Updated 3 months ago
- A derivative approach to finding your way in BQN☆38Updated last month
- Pure functional programming with whole-program mutability inference☆66Updated last month
- A Language with Dependent Data and Codata Types☆99Updated last week
- A compilation of BQN solutions to various coding challenges.☆12Updated last week
- Call Futhark programs from Standard ML☆10Updated 7 months ago
- The Shine compiler for the RISE language☆80Updated last month
- Library of math functions for the Uiua programming language☆24Updated this week
- Parallel Functional Programming, 2020☆16Updated last year
- Public repository for Advanced Programming☆56Updated 3 months ago
- WIP stack language that uses regex for control flow☆42Updated last year
- Public repository for HPPS 2022☆21Updated 2 years ago
- Slides til infoskærmen☆8Updated last month
- Tutorial for using the MPL compiler for Parallel ML☆19Updated 3 months ago
- deployment for smlhelp page☆39Updated 3 weeks ago
- Haskell bindings for MLIR☆106Updated 2 months ago