diku-dk / dpp-e2021-pub
Data Parallel Programming
☆22Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for dpp-e2021-pub
- A proof of Abel-Ruffini theorem.☆28Updated last week
- Parallel Functional Programming, 2020☆15Updated 10 months ago
- A Haskell probabilistic programming library.☆17Updated 2 weeks ago
- Linear algebra package for Futhark☆17Updated 10 months ago
- A (formalised) general definition of type theories☆56Updated 3 years ago
- A Probability Theory Library for the Coq Theorem Prover☆49Updated last year
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- Dependently Typed Metaprogramming Exercises☆22Updated 6 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- ☆16Updated 3 years ago
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- A repository for material from the reading group on NbE☆17Updated last year
- Algebraic Combinatorics in Coq☆36Updated this week
- Formalization of the basic actuarial mathematics using Coq☆21Updated last year
- Git repository for the course Logika v računalništvu☆11Updated 2 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Formalizing convex polyhedra in Coq☆22Updated 4 months ago
- Certified Machine Learning☆40Updated 3 years ago
- Accelerated machine learning with dependent types☆79Updated this week
- High level commands to declare a hierarchy based on packed classes☆97Updated this week
- Research material of Erik Palmgren (1963–2019)☆20Updated last year
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- ☆44Updated last year
- We aim to provide a composed build of all active Coq developments in existence☆12Updated 11 months ago
- WIP collections library for Lean 4☆30Updated 2 weeks ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆64Updated 7 months ago
- Implementation of Nuprl's type theory in Coq☆44Updated 3 years ago
- HoTT in Lean 3☆75Updated 4 years ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆52Updated 2 months ago