diku-dk / dpp-e2023-pubLinks
Repository for the DPP'23 course
☆11Updated last year
Alternatives and similar repositories for dpp-e2023-pub
Users that are interested in dpp-e2023-pub are comparing it to the libraries listed below
Sorting:
- How do I DIKU? How indeed.☆28Updated this week
- A better version of KU's course catalogue☆19Updated last month
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆387Updated this week
- Tutorial for using the MPL compiler for Parallel ML☆21Updated 7 months ago
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆31Updated 4 years ago
- Public repository for Advanced Programming☆58Updated 6 months ago
- Generic package manager for Standard ML libraries and programs☆166Updated 6 months ago
- Public repository for the HPPS course☆17Updated 3 years ago
- Standard ML Parser Combinator Library☆16Updated 11 months ago
- Online REPL for BQN☆34Updated last year
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 5 months ago
- A Language with Dependent Data and Codata Types☆109Updated last week
- A constructive proof assistant for second order logic.☆35Updated 10 months ago
- Accelerated machine learning with dependent types☆97Updated last week
- The first ever roguelike written in the OCaml type system☆88Updated 4 months ago
- A garden of small programming language implementations 🪴☆276Updated this week
- ☆233Updated last year
- A proof assistant for higher-dimensional type theory☆208Updated this week
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆79Updated 6 months ago
- Staged compilation with dependent types☆178Updated 3 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- ☆86Updated 3 months ago
- Public repository for HPPS 2022☆21Updated 2 years ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆64Updated this week
- Call Futhark programs from Standard ML☆10Updated 2 months ago
- A programming language supporting most of both declarative and imperative programming☆52Updated 3 months ago
- A custom parser/auto-formatter for Standard ML☆79Updated 3 months ago
- Demo for dependent types + runtime code generation☆70Updated 5 months ago
- ☆161Updated 10 years ago