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 3 weeks ago
- Parallel Functional Programming, 2020☆16Updated last year
- Tutorial series introducing Agda to the people at BCAM☆27Updated 4 years ago
- Accelerated machine learning with dependent types☆101Updated last week
- ☆51Updated last year
- PhD course on Functional Programming and Climate Impact Research☆50Updated 4 months ago
- A (formalised) general definition of type theories☆59Updated 4 years ago
- Git repository for the course Logika v računalništvu☆15Updated 3 years ago
- A monadic library for symbolic evaluation☆73Updated 5 months ago
- Simply Typed Lambda Calculus with de Bruijn indices☆16Updated 9 months ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- This aims to be the most pretentious implementation of stlc in existence☆65Updated 3 years ago
- WIP collections library for Lean 4☆32Updated 8 months ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- A repository for material from the reading group on NbE☆17Updated 2 years ago
- ☆45Updated 9 months ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆48Updated 2 weeks ago
- Fast equality saturation in Haskell☆92Updated 3 weeks ago
- EGraphs in OCaml☆78Updated last year
- Benchmarks for capture-avoiding substitution☆121Updated 7 months ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆42Updated this week
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 3 years ago
- Agda formalisation of second-order abstract syntax☆55Updated 3 years ago
- Paper and talk☆55Updated 2 years ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated 2 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆84Updated 4 years ago
- Verifying encodings into propositional logic in Lean☆14Updated 2 years ago
- An interactive theorem prover for string diagrams☆124Updated last year
- being the materials for Summer 2013's course☆113Updated 2 years ago
- A work-in-progress core language for Agda, in Agda☆61Updated this week