diku-dk / dpp-e2021-pub
Data Parallel Programming
☆22Updated 8 months ago
Related projects: ⓘ
- Linear algebra package for Futhark☆17Updated 8 months ago
- Parallel Functional Programming, 2020☆15Updated 8 months ago
- ☆15Updated 3 years ago
- Python library using the Futhark C backend via CFFI☆23Updated last year
- ☆41Updated 4 months ago
- A Haskell probabilistic programming library.☆14Updated last week
- A repository for material from the reading group on NbE☆17Updated 10 months ago
- WIP collections library for Lean 4☆30Updated this week
- Accelerated machine learning with dependent types☆73Updated last month
- A (formalised) general definition of type theories☆56Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆11Updated last year
- Advent of Code 2020 solutions in Lean 4☆26Updated 3 years ago
- Formalization of the basic actuarial mathematics using Coq☆22Updated 10 months ago
- ☆21Updated 2 years ago
- Theory and Applications of Lenses and Optics☆50Updated 2 years ago
- Formalizing convex polyhedra in Coq☆21Updated 2 months ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆62Updated 5 months ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- ☆17Updated 2 weeks ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆17Updated 11 months ago
- Certified Machine Learning☆40Updated 3 years ago
- PhD course on Functional Programming and Climate Impact Research☆49Updated 3 months ago
- ☆9Updated last year
- A Coq library for abstract syntactical reasoning☆23Updated last month
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 6 years ago
- Research material of Erik Palmgren (1963–2019)☆20Updated last year
- Lean4 port of Arduino balance car controller☆44Updated 3 years ago