diku-dk / hpps-e2024-pubLinks
Public repository for HPPS
☆12Updated 4 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:
- Public repository for the HPPS course☆17Updated 3 years ago
- Public repository for the 2023 edition of HPPS☆19Updated last year
- Parallel Functional Programming, 2020☆16Updated last year
- Embedding Pointful Array Programming in Python☆17Updated 8 months ago
- ☆19Updated 4 months ago
- Course website for Data Parallel Programming at DIKU☆12Updated 5 months ago
- Python library using the Futhark C backend via CFFI☆24Updated 2 years ago
- Data Parallel Programming☆22Updated last year
- Public repository for the 2019 Parallel Functional Programming course at DIKU☆15Updated 5 years ago
- ☆16Updated last year
- How do I DIKU? How indeed.☆26Updated last month
- ☆21Updated 2 weeks ago
- Linear algebra package for Futhark☆17Updated 4 months ago
- Overview of tactics in Lean 4 for beginners — longer version☆81Updated 8 months ago
- Lean 4 kernel / 'external checker' written in Lean 4☆102Updated this week
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆64Updated this week
- A Haskell probabilistic programming library.☆19Updated last month
- Call Futhark programs from Standard ML☆10Updated 2 weeks ago
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- ☆79Updated 2 weeks ago
- DIKU Support Tools for Canvas LMS☆14Updated 8 months ago
- Document Generator for Lean 4☆95Updated this week
- A simple REPL for Lean 4, returning information about errors and sorries.☆129Updated this week
- A Futhark binding generator for Rust and OCaml☆29Updated last year
- AST export from Lean 4☆12Updated 10 months ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆63Updated 7 months ago
- PMPH course 2020 public repo☆12Updated last year
- Accelerated machine learning with dependent types☆95Updated last week
- HaSTL: A fast GPU implementation of STL decomposition with missing values and support for both CUDA and OpenCL☆12Updated last year
- Natural language tactics to teach mathematics using Lean 4☆78Updated 3 weeks ago