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.☆20Updated 2 months ago
- ☆50Updated last year
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Updated 2 months ago
- Performant and safe knowledge compilation in rust☆31Updated 4 months ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Formalizing convex polyhedra in Coq☆24Updated last year
- Git repository for the course Logika v računalništvu☆14Updated 3 years ago
- WIP collections library for Lean 4☆32Updated 5 months ago
- Tutorial series introducing Agda to the people at BCAM☆27Updated 3 years ago
- Formalization of the basic actuarial mathematics using Coq☆22Updated 10 months ago
- A (formalised) general definition of type theories☆57Updated 4 years ago
- Accelerated machine learning with dependent types☆100Updated 2 months ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- ☆16Updated 4 years ago
- A formalization of ML kernel languages☆28Updated this week
- Schemes in Lean (v2)☆44Updated 5 years ago
- Lean4 port of Arduino balance car controller☆46Updated 4 years ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated 2 years ago
- An interactive theorem prover for string diagrams☆121Updated 11 months ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆68Updated 11 months ago
- This aims to be the most pretentious implementation of stlc in existence☆65Updated 3 years ago
- Code repository for our work on Quantum Pi☆10Updated last year
- Effective Algebraic Topology in Haskell☆90Updated last year
- Reference type checker for the Lean theorem prover☆16Updated 7 years ago
- An equational theorem prover based on Knuth-Bendix completion☆56Updated this week
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆84Updated 4 years ago
- An arbitrary-precision differentiable programming language.☆36Updated 2 years ago
- Parallel Functional Programming, 2020☆16Updated last year
- A Lean4 Formalization of Polynomial Functors☆22Updated 3 weeks ago
- An elegant implementation of discrete diffgeo in haskell☆34Updated 5 years ago