diku-dk / hpps-e2024-pub
Public repository for HPPS
☆12Updated 3 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
- Embedding Pointful Array Programming in Python☆16Updated 7 months ago
- Public repository for the HPPS course☆17Updated 3 years ago
- Parallel Functional Programming, 2020☆16Updated last year
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆25Updated 9 months ago
- Public repository for the 2023 edition of HPPS☆19Updated last year
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆62Updated 6 months ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 5 months ago
- ☆21Updated 3 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated 3 weeks ago
- Data Parallel Programming☆22Updated last year
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆49Updated 6 months ago
- ☆47Updated 11 months ago
- Python library using the Futhark C backend via CFFI☆23Updated 2 years ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆59Updated 3 weeks ago
- A formalized proof of Carleson's theorem in Lean☆52Updated this week
- ☆17Updated 2 years ago
- ☆15Updated last year
- Formal verification of parts of the Stacks Project in Lean☆21Updated 3 years ago
- A type theory for tiny objects☆17Updated last year
- How do I DIKU? How indeed.☆25Updated 3 months ago
- A Haskell probabilistic programming library.☆19Updated last month
- Agda category theory library for denotational design☆50Updated 10 months ago
- A repository for material from the reading group on NbE☆17Updated last year
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆18Updated last week
- WIP collections library for Lean 4☆32Updated last week
- A Futhark binding generator for Rust and OCaml☆29Updated last year
- ☆16Updated last year
- A toy example of a verified compiler.☆28Updated this week
- Mechanizations of Type Theories☆28Updated 2 months ago
- The matrix cookbook, proved in the Lean theorem prover☆104Updated 5 months ago