diku-dk / dpp-e2023-pub
Repository for the DPP'23 course
☆11Updated 4 months ago
Related projects: ⓘ
- Public repository for HPPS 2022☆20Updated last year
- Public repository for the 2023 edition of HPPS☆19Updated 8 months ago
- A derivative approach to finding your way in BQN☆35Updated last week
- A better version of KU's course catalogue☆19Updated last month
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆29Updated this week
- How do I DIKU? How indeed.☆21Updated last month
- A custom parser/auto-formatter for Standard ML☆67Updated 9 months ago
- deployment for smlhelp page☆35Updated last year
- Call Futhark programs from Standard ML☆10Updated last week
- Informal collection of BQN utilities☆50Updated 2 months ago
- fairly limited x86 to x86' translator☆19Updated last year
- A garden of small programming language implementations 🪴☆164Updated this week
- Embedding Pointful Array Programming in Python☆13Updated 3 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆31Updated last year
- HTTP utility library for Standard ML☆11Updated 11 months ago
- Standard ML Parser Combinator Library☆15Updated last week
- ☆16Updated this week
- A list of awesome libraries for BQN.☆24Updated last month
- The LLVM tutorial using OCaml☆25Updated 11 months ago
- Parallel Functional Programming, 2020☆15Updated 8 months ago
- Accelerated machine learning with dependent types☆73Updated last month
- Standard ML of New Jersey☆177Updated this week
- A constructive proof assistant for second order logic.☆32Updated 6 months ago
- A Language with Dependent Data and Codata Types☆47Updated this week
- Online REPL for BQN☆32Updated last year
- The MaPLe compiler for efficient and scalable parallel functional programming☆320Updated this week
- PMPH course 2020 public repo☆12Updated 8 months ago
- Apple array system☆53Updated this week
- Accompanying materials for "A Core Calculus for Documents"☆31Updated 11 months ago
- Programming with pure lambda calculus☆85Updated last week