diku-dk / dpp-e2021-pub
Data Parallel Programming
☆22Updated last year
Alternatives and similar repositories for dpp-e2021-pub:
Users that are interested in dpp-e2021-pub are comparing it to the libraries listed below
- Parallel Functional Programming, 2020☆15Updated last year
- WIP collections library for Lean 4☆32Updated 2 weeks ago
- A Haskell probabilistic programming library.☆18Updated last week
- Linear algebra package for Futhark☆17Updated last month
- ☆16Updated 4 years ago
- ☆46Updated 9 months ago
- A repository for material from the reading group on NbE☆17Updated last year
- Accelerated machine learning with dependent types☆87Updated last week
- Theory and Applications of Lenses and Optics☆55Updated 2 years ago
- Formalization of the basic actuarial mathematics using Coq☆21Updated 2 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- Lean4 port of Arduino balance car controller☆44Updated 3 years ago
- Tutorial for using the MPL compiler for Parallel ML☆19Updated last month
- A (formalised) general definition of type theories☆57Updated 3 years ago
- A proof of Abel-Ruffini theorem.☆28Updated this week
- Fast equality saturation in Haskell☆82Updated 9 months ago
- Very controlled natural language tactics for Lean☆63Updated last year
- ☆17Updated 8 months ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- Research material of Erik Palmgren (1963–2019)☆20Updated last year
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- A Lean4 Formalization of Polynomial Functors☆19Updated 3 weeks ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆34Updated this week
- Code repository for our work on Quantum Pi☆10Updated 8 months ago
- PhD course on Functional Programming and Climate Impact Research☆50Updated 3 months ago
- A Probability Theory Library for the Coq Theorem Prover☆52Updated last year
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago