diku-dk / dpp-e2021-pubLinks
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
Sorting:
- Parallel Functional Programming, 2020☆16Updated last year
- A Haskell probabilistic programming library.☆19Updated last month
- Linear algebra package for Futhark☆17Updated 5 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- A repository for material from the reading group on NbE☆17Updated last year
- Certified Machine Learning☆41Updated 4 years ago
- Python library using the Futhark C backend via CFFI☆25Updated 2 years ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆38Updated this week
- Tutorial for using the MPL compiler for Parallel ML☆21Updated 5 months ago
- ☆48Updated last year
- Research material of Erik Palmgren (1963–2019)☆20Updated 2 months ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 7 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
- A (formalised) general definition of type theories☆57Updated 4 years ago
- A proof of Abel-Ruffini theorem.☆29Updated this week
- Theory and Applications of Lenses and Optics☆54Updated 3 years ago
- PhD course on Functional Programming and Climate Impact Research☆50Updated 7 months ago
- A formally verified implementation of differential dynamic logic in Coq☆17Updated 3 years ago
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- A Lean4 Formalization of Polynomial Functors☆21Updated 2 months ago
- WIP collections library for Lean 4☆32Updated last month
- A Unifying Cartesian Cubical Set Model☆35Updated 5 years ago
- A work-in-progress core language for Agda, in Agda☆52Updated 2 weeks ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Git repository for the course Logika v računalništvu☆12Updated 3 years ago
- Agda formalisation of second-order abstract syntax☆55Updated 2 years ago
- ☆17Updated 3 years ago
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆30Updated this week