diku-dk / howto
How do I DIKU? How indeed.
☆21Updated last month
Related projects: ⓘ
- Parallel Functional Programming, 2020☆15Updated 8 months ago
- PMPH course 2020 public repo☆12Updated 8 months ago
- The official interpreter for the Jeopardy language☆16Updated last year
- fairly limited x86 to x86' translator☆19Updated last year
- Data Parallel Programming☆22Updated 8 months ago
- A Probability Theory Library for the Coq Theorem Prover☆49Updated 11 months ago
- IO for Gallina☆30Updated this week
- Public repository for Advanced Programming☆56Updated this week
- A Coq library for abstract syntactical reasoning☆23Updated last month
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆16Updated 7 months ago
- A work-in-progress core language for Agda, in Agda☆31Updated last week
- Call Futhark programs from Standard ML☆10Updated last week
- Lecture notes on realizability☆65Updated 5 months ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆33Updated 5 years ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Updated 7 years ago
- ☆17Updated 2 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆26Updated 3 weeks ago
- ☆16Updated this week
- A Logical Relation for Martin-Löf Type Theory in Agda☆44Updated this week
- Datatypes as quotients of polynomial functors☆33Updated 4 years ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆44Updated 6 months ago
- Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…☆27Updated last month
- GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]☆12Updated 2 months ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆62Updated 5 months ago
- Tutorial for using the MPL compiler for Parallel ML☆18Updated 7 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 last year
- antifunext☆27Updated 2 months ago
- Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024☆20Updated 2 months ago
- Linear algebra package for Futhark☆17Updated 8 months ago