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 (formalised) general definition of type theories☆57Updated 3 years ago
- Certified Machine Learning☆41Updated 4 years ago
- A Haskell probabilistic programming library.☆19Updated last month
- Git repository for the course Logika v računalništvu☆12Updated 3 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- We aim to provide a composed build of all active Coq developments in existence☆12Updated last year
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆37Updated this week
- ☆47Updated last year
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Research material of Erik Palmgren (1963–2019)☆20Updated 2 months ago
- A Coq library for abstract syntactical reasoning☆23Updated last month
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- A repository for material from the reading group on NbE☆17Updated last year
- Formalization of the basic actuarial mathematics using Coq☆21Updated 5 months ago
- Automatic Differentiation using Pseudo Lenses. Neat.