diku-dk / dpp-e2023-pub
Repository for the DPP'23 course
☆11Updated 8 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.☆24Updated last week
- ☆17Updated 2 months ago
- Public repository for the 2023 edition of HPPS☆19Updated last year
- A better version of KU's course catalogue☆19Updated last month
- Course website for Data Parallel Programming at DIKU☆10Updated last month
- Public repository for the HPPS course☆17Updated 3 years ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆40Updated this week
- A derivative approach to finding your way in BQN☆37Updated this week
- Public repository for HPPS 2022☆21Updated last year
- A custom parser/auto-formatter for Standard ML☆71Updated last year
- A compilation of BQN solutions to various coding challenges.☆10Updated this week
- The MaPLe compiler: efficient and scalable parallel functional programming☆358Updated this week
- Standard ML Parser Combinator Library☆15Updated 4 months ago
- deployment for smlhelp page☆37Updated last year
- Generic package manager for Standard ML libraries and programs☆164Updated 2 weeks ago
- Public repository for Advanced Programming☆56Updated 2 months ago
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆162Updated last week
- Standard ML of New Jersey☆194Updated this week
- LLVM code generation in Haskell☆53Updated 2 months ago
- Tutorial for using the MPL compiler for Parallel ML☆19Updated last week
- Raylib with a bit of bacon spice!☆37Updated last week
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆136Updated last year
- Cross-platform IDE for Dyalog APL☆207Updated last month
- Online REPL for BQN☆33Updated last year
- Call Futhark programs from Standard ML☆10Updated 4 months ago
- A constructive proof assistant for second order logic.☆32Updated 3 months ago
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆31Updated 3 years ago
- HTTP utility library for Standard ML☆11Updated last year
- Miking - the meta viking: a meta-language system for creating embedded languages☆53Updated last week
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆156Updated 2 years ago