diku-dk / pmph-e2024-pubLinks
☆19Updated 10 months ago
Alternatives and similar repositories for pmph-e2024-pub
Users that are interested in pmph-e2024-pub are comparing it to the libraries listed below
Sorting:
- Course website for Data Parallel Programming at DIKU☆13Updated 11 months ago
- A better version of KU's course catalogue☆21Updated 2 months ago
- Public repository for Advanced Programming☆59Updated 10 months ago
- How do I DIKU? How indeed.☆28Updated 2 months ago
- Haskell bindings for MLIR☆118Updated 9 months ago
- Public repository for Advanced Programming☆60Updated 3 weeks ago
- Public archive of material performed on stage through the life time of DIKUrevy☆27Updated 8 months ago
- fairly limited x86 to x86' translator☆19Updated 3 years ago
- Public repository for the 2019 Parallel Functional Programming course at DIKU☆15Updated 5 years ago
- Public repository for HPPS☆14Updated 10 months ago
- PMPH course 2020 public repo☆13Updated last year
- Public repository for the 2023 edition of HPPS☆19Updated last year
- Repository for the DPP'23 course☆11Updated last year
- Parallel Functional Programming, 2020☆16Updated last year
- A minimal development of SSA theory☆197Updated last week
- DIKU Support Tools for Canvas LMS☆14Updated last year
- Public repository for HPPS 2022☆21Updated 2 years ago
- Public repository for the HPPS course☆17Updated 3 years ago
- An awesome list of e-graph resources☆263Updated last month
- Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages☆38Updated 3 years ago
- An interactive web-based tool for exploring intermediate representations of PyTorch and Triton models☆50Updated 2 months ago
- Re-implementation of the TASO compiler using equality saturation☆136Updated 4 years ago
- This repository contains companion software for the Colfax Research paper "Categorical Foundations for CuTe Layouts".☆80Updated 2 months ago
- Code challenges to solve with Haskell☆179Updated 2 months ago
- Parallel ML benchmark suite☆20Updated this week
- ☆11Updated 4 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆29Updated 3 years ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆114Updated 3 weeks 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
- A Python compiler design toolkit.☆445Updated this week