diku-dk / hpps-e2024-pubLinks
Public repository for HPPS
☆13Updated 5 months ago
Alternatives and similar repositories for hpps-e2024-pub
Users that are interested in hpps-e2024-pub are comparing it to the libraries listed below
Sorting:
- Parallel Functional Programming, 2020☆16Updated last year
- Public repository for the HPPS course☆17Updated 3 years ago
- Data Parallel Programming☆22Updated last year
- Course website for Data Parallel Programming at DIKU☆12Updated 6 months ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 4 months ago
- Linear algebra package for Futhark☆17Updated 5 months ago
- Call Futhark programs from Standard ML☆10Updated last month
- Parallel ML benchmark suite☆17Updated 2 months ago
- Python library using the Futhark C backend via CFFI☆25Updated 2 years ago
- ☆19Updated 5 months ago
- Repository for the DPP'23 course☆11Updated last year
- Embedding Pointful Array Programming in Python☆17Updated 9 months ago
- ☆12Updated 4 years ago
- Tutorial for using the MPL compiler for Parallel ML☆21Updated 5 months ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- HTTP utility library for Standard ML☆11Updated last year
- Public repository for the 2023 edition of HPPS☆19Updated last year
- Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)☆9Updated 2 years ago
- Standard ML Parser Combinator Library☆16Updated 9 months ago
- Public repository for HPPS 2022☆21Updated 2 years ago
- egraph <-> json☆14Updated 8 months ago
- How do I DIKU? How indeed.☆26Updated last week
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 4 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 7 months ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- Accelerated machine learning with dependent types☆95Updated 3 weeks ago
- ☆21Updated 3 years ago
- A Futhark binding generator for Rust and OCaml☆29Updated last year
- A Haskell probabilistic programming library.☆19Updated last month
- Jupyter notebook for the Lean4 programming language☆24Updated 3 years ago