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 last week
- Course website for Data Parallel Programming at DIKU☆14Updated last year
- A better version of KU's course catalogue☆21Updated 3 months ago
- ☆19Updated 11 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆65Updated 2 years ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆82Updated this week
- The MaPLe compiler: efficient and scalable parallel functional programming☆411Updated this week
- Public repository for the HPPS course☆17Updated 3 years ago
- A constructive proof assistant for second order logic.☆36Updated last year
- A custom parser/auto-formatter for Standard ML☆85Updated 4 months ago
- The first ever roguelike written in the OCaml type system☆93Updated 8 months ago
- Tutorial for using the MPL compiler for Parallel ML☆23Updated 11 months ago
- Parser Combinators of Monad☆39Updated 5 years ago
- A garden of small programming language implementations 🪴☆299Updated this week
- Standard ML Parser Combinator Library☆17Updated last year
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆67Updated 3 months ago
- Standard ML of New Jersey☆230Updated this week
- Source for the apl.quest site☆16Updated last month
- Generic package manager for Standard ML libraries and programs☆168Updated 3 weeks ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆21Updated 2 months ago
- This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆44Updated last month
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆70Updated last year
- Simple C Compiler in OCaml☆95Updated 7 years ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆80Updated 10 months ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆42Updated last month
- ☆234Updated last year
- Public repository for Advanced Programming☆59Updated 10 months ago
- Useful things for Standard ML☆71Updated last year
- A statically-typed, low-level, functional programming language with some focus on runtime performance☆30Updated 2 years ago
- Accelerated machine learning with dependent types☆101Updated 4 months ago