diku-dk / hpps-e2024-pubLinks
Public repository for HPPS
☆13Updated 7 months ago
Alternatives and similar repositories for hpps-e2024-pub
Users that are interested in hpps-e2024-pub are comparing it to the libraries listed below
Sorting:
- Public repository for the HPPS course☆17Updated 3 years ago
- Embedding Pointful Array Programming in Python☆17Updated 11 months ago
- Parallel Functional Programming, 2020☆16Updated last year
- Python library using the Futhark C backend via CFFI☆25Updated last month
- Accelerated machine learning with dependent types☆98Updated 3 weeks ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 9 months ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 6 months ago
- Public repository for the 2023 edition of HPPS☆19Updated last year
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆183Updated last week
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated 3 months ago
- Data Parallel Programming☆22Updated last year
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆14Updated 3 weeks ago
- Jupyter notebook for the Lean4 programming language☆25Updated 3 years ago
- ☆92Updated last year
- A Haskell probabilistic programming library.☆19Updated 2 weeks ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- Formalizing results about the Mandelbrot set in Lean☆23Updated last week
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆27Updated last year
- Document Generator for Lean 4☆102Updated this week
- A formalized proof of Carleson's theorem in Lean☆67Updated last week
- H.O.T.T. using rewriting in Agda☆44Updated 2 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆68Updated 10 months ago
- The matrix cookbook, proved in the Lean theorem prover☆116Updated 3 weeks ago
- Linear algebra package for Futhark☆17Updated 7 months ago
- A toolkit for enforcing logical specifications on neural networks☆110Updated this week
- Exponent pair database☆62Updated this week
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆73Updated 3 weeks ago
- Overview of tactics in Lean 4 for beginners — longer version☆91Updated 2 months ago
- Python talking to the Lean theorem prover☆45Updated 4 years ago
- Lean 4 kernel / 'external checker' written in Lean 4☆111Updated 2 months ago