diku-dk / dpp-e2021-pubLinks
Data Parallel Programming
☆22Updated 2 years ago
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 last week
- Parallel Functional Programming, 2020☆16Updated 2 years ago
- WIP collections library for Lean 4☆32Updated 9 months ago
- Advent of Code 2020 solutions in Lean 4☆27Updated 5 years ago
- ☆52Updated last year
- Accelerated machine learning with dependent types☆101Updated last month
- A (formalised) general definition of type theories☆59Updated 4 years ago
- PhD course on Functional Programming and Climate Impact Research☆51Updated 5 months ago
- PL syntax macros.☆21Updated 2 months ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 6 years ago
- Git repository for the course Logika v računalništvu☆15Updated 3 years ago
- An equational theorem prover based on Knuth-Bendix completion☆57Updated this week
- Lean4 port of Arduino balance car controller☆50Updated 4 years ago
- Formalization of the basic actuarial mathematics using Coq☆22Updated last year
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆22Updated 2 years ago
- A repository for material from the reading group on NbE☆17Updated 2 years ago
- This aims to be the most pretentious implementation of stlc in existence☆65Updated 3 years ago
- A Lean4 Formalization of Polynomial Functors☆27Updated last month
- Tutorial series introducing Agda to the people at BCAM☆27Updated 4 years ago
- An LLVM interface for Lean 4. (WIP)☆26Updated 2 years ago
- Play/learn/work with me☆113Updated 2 months ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- Very controlled natural language tactics for Lean☆66Updated 2 years ago
- Simply Typed Lambda Calculus with de Bruijn indices☆16Updated 10 months ago
- ☆16Updated last year
- A formalization of ML kernel languages☆41Updated this week
- Verifying encodings into propositional logic in Lean☆14Updated 2 years ago
- ☆45Updated 10 months ago
- 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