diku-dk / ap-e2025-pubLinks
Public repository for Advanced Programming
☆60Updated 3 months ago
Alternatives and similar repositories for ap-e2025-pub
Users that are interested in ap-e2025-pub are comparing it to the libraries listed below
Sorting:
- Data Parallel Programming☆22Updated 2 years ago
- Public repository for HPPS 2022☆21Updated 3 years ago
- Parallel Functional Programming, 2020☆16Updated 2 years ago
- Public repository for Advanced Programming☆59Updated last year
- Course website for Data Parallel Programming at DIKU☆15Updated last year
- A Haskell probabilistic programming library.☆21Updated last week
- Accelerated machine learning with dependent types☆101Updated last month
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆21Updated 4 months ago
- ☆22Updated 3 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆43Updated this week
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 5 years ago
- Haskell library for type-inference with Hindley-Milner type-system.☆35Updated last year
- Type-level interpolations in various forms☆12Updated last year
- ☆21Updated 3 years ago
- LLVM code generation in Haskell☆54Updated last year
- Points for Free: Embedding Pointful Array Programming in Python☆20Updated last year
- The official interpreter for the Jeopardy language☆16Updated 3 years ago
- Fast equality saturation in Haskell☆95Updated 3 weeks ago
- Reverse-mode automatic differentiation with delimited continuations☆15Updated 2 years ago
- Haskell bindings for MLIR☆120Updated last month
- Git repository for the course Logika v računalništvu☆15Updated 3 years ago
- A discord frontend for an interactive interpreter bot☆22Updated 6 months ago
- How do I DIKU? How indeed.☆28Updated 2 weeks ago
- Derivation of C-like Storable Instances☆13Updated 9 years ago
- Tutorial for using the MPL compiler for Parallel ML☆23Updated last year
- ☆11Updated last year
- Staged compilation with dependent types☆187Updated last week
- Eventually a practical 2-level TT-based compiler☆31Updated last week
- Linear algebra package for Futhark☆17Updated 4 months ago
- Python library using the Futhark C backend via CFFI☆26Updated 7 months ago