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.☆19Updated 3 months ago
- Parallel Functional Programming, 2020☆16Updated last year
- ☆49Updated last year
- Tutorial series introducing Agda to the people at BCAM☆27Updated 3 years ago
- PL syntax macros.☆19Updated last month
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆39Updated last week
- Git repository for the course Logika v računalništvu☆14Updated 3 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Accelerated machine learning with dependent types☆97Updated last week
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- A monadic library for symbolic evaluation☆68Updated 3 weeks ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- Library for proving propositions quantified over finite sets☆14Updated 2 years ago
- Agda formalisation of second-order abstract syntax☆55Updated 2 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆67Updated 9 months ago
- A (formalised) general definition of type theories☆57Updated 4 years ago
- A work-in-progress core language for Agda, in Agda☆55Updated last month
- Tutorial for using the MPL compiler for Parallel ML☆21Updated 7 months ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Updated 4 months ago
- A repository for material from the reading group on NbE☆17Updated last year
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago
- ☆24Updated last year
- WIP collections library for Lean 4☆32Updated 3 months ago
- A Coq library for abstract syntactical reasoning☆24Updated 3 months ago
- Agda category theory library for denotational design☆51Updated last year
- A cost-aware logical framework, embedded in Agda.☆64Updated 2 weeks ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated 2 months ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago