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 last week
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆58Updated 2 years ago
- How do I DIKU? How indeed.☆28Updated 3 weeks ago
- ☆233Updated last year
- Tutorial for using the MPL compiler for Parallel ML☆21Updated 8 months ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆392Updated this week
- Online REPL for BQN☆34Updated 2 years ago
- Generic package manager for Standard ML libraries and programs☆166Updated 7 months ago
- Standard ML of New Jersey☆219Updated this week
- ☆108Updated last month
- Public repository for Advanced Programming☆58Updated 7 months ago
- A derivative approach to finding your way in BQN☆39Updated last month
- A constructive proof assistant for second order logic.☆35Updated 11 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).☆42Updated last week
- A custom parser/auto-formatter for Standard ML☆81Updated last month
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆192Updated 7 months ago
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆31Updated 4 years ago
- A garden of small programming language implementations 🪴☆286Updated last week
- Search-based compiler for high-performance DSP programming☆69Updated 10 months ago
- Useful things for Standard ML☆70Updated 11 months ago
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- The Shine compiler for the RISE language☆84Updated this week
- 📚 A collection of resources about supercompilation☆117Updated 2 months ago
- A minimal development of SSA theory☆178Updated this week
- a BQN implementation in C☆372Updated last month
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆80Updated 8 months ago
- deployment for smlhelp page☆41Updated 3 months ago
- A simple library for reporting compiler/interpreter errors☆266Updated last year
- Graph Theory [maintainers=@chdoc,@damien-pous]☆38Updated 2 weeks ago
- A Language with Dependent Data and Codata Types☆118Updated this week