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:
- A better version of KU's course catalogue☆21Updated 2 months ago
- How do I DIKU? How indeed.☆28Updated 2 months ago
- Course website for Data Parallel Programming at DIKU☆13Updated 11 months ago
- fairly limited x86 to x86' translator☆19Updated 3 years ago
- Public repository for Advanced Programming☆59Updated 10 months ago
- A constructive proof assistant for second order logic.☆36Updated last year
- ☆19Updated 10 months ago
- Public repository for the HPPS course☆17Updated 3 years ago
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆203Updated 9 months ago
- Haskell bindings for MLIR☆118Updated 9 months ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆82Updated this week
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆67Updated 2 months ago
- ☆113Updated this week
- A compilation of BQN solutions to various coding challenges.☆12Updated this week
- The MaPLe compiler: efficient and scalable parallel functional programming☆407Updated last week
- Programming with pure lambda calculus☆129Updated last week
- A garden of small programming language implementations 🪴☆293Updated this week
- Standard ML Parser Combinator Library☆16Updated last year
- Generic package manager for Standard ML libraries and programs☆167Updated this week
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆43Updated 10 months ago
- The LLVM tutorial using OCaml☆32Updated 2 years ago
- deployment for smlhelp page☆41Updated 5 months ago
- A custom parser/auto-formatter for Standard ML☆84Updated 3 months ago
- Informal collection of BQN utilities☆61Updated last month
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆71Updated last year
- A statically-typed, low-level, functional programming language with some focus on runtime performance☆29Updated 2 years ago
- A programming language supporting most of both declarative and imperative programming☆52Updated last week
- Accelerated machine learning with dependent types☆99Updated 3 months ago
- ☆46Updated 2 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆64Updated 2 years ago