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:
- A Haskell probabilistic programming library.☆21Updated 2 weeks ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- ☆51Updated last year
- Formalization of the basic actuarial mathematics using Coq☆22Updated 11 months ago
- Performant and safe knowledge compilation in rust☆30Updated last week
- Parallel Functional Programming, 2020☆16Updated last year
- WIP collections library for Lean 4☆32Updated 6 months ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Verifying encodings into propositional logic in Lean☆12Updated 2 years ago
- Simply Typed Lambda Calculus with de Bruijn indices☆16Updated 8 months ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated 2 years ago
- A (formalised) general definition of type theories☆58Updated 4 years ago
- Accelerated machine learning with dependent types☆99Updated 3 months ago
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆22Updated 2 years ago
- A formalization of ML kernel languages☆31Updated last week
- An interactive theorem prover for string diagrams☆122Updated last year
- Lean4 port of Arduino balance car controller☆48Updated 4 years ago
- Formalizing convex polyhedra in Coq☆24Updated last year
- Tutorial series introducing Agda to the people at BCAM☆27Updated 3 years ago
- EGraphs in OCaml☆77Updated last year
- PL syntax macros.☆19Updated last month
- Tutorial for using the MPL compiler for Parallel ML☆23Updated 10 months ago
- A repository for material from the reading group on NbE☆17Updated 2 years ago
- ☆45Updated 7 months ago
- PhD course on Functional Programming and Climate Impact Research☆50Updated 2 months ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Updated 3 months ago
- Git repository for the course Logika v računalništvu☆15Updated 3 years ago
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆18Updated 2 years ago
- A verified tensor library in Lean☆30Updated last month
- An arbitrary-precision differentiable programming language.☆36Updated 2 years ago