diku-dk / ap-e2024-pub
Public repository for Advanced Programming
☆59Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for ap-e2024-pub
- ☆18Updated last week
- PMPH course 2020 public repo☆12Updated 9 months ago
- fairly limited x86 to x86' translator☆19Updated last year
- How do I DIKU? How indeed.☆22Updated 2 months ago
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆31Updated 3 years ago
- Generic package manager for Standard ML libraries and programs☆161Updated last month
- Public repository for HPPS 2022☆21Updated last year
- Parallel Functional Programming, 2020☆15Updated 9 months ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆52Updated this week
- DIKU Support Tools for Canvas LMS☆13Updated last month
- antifunext☆28Updated 4 months ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆24Updated 3 weeks ago
- Public material for IT-security, B1, E2020 @ DIKU, Dept. CS, Univ. Cph☆10Updated 4 years ago
- The official interpreter for the Jeopardy language☆16Updated last year
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆37Updated 3 months ago
- ☆24Updated 5 months ago
- A better version of KU's course catalogue☆19Updated last month
- The extremely portable, extremely extensible line editor☆13Updated 2 years ago
- Official repository of the Autosubst 2 project.☆17Updated last year
- Agda formalisation of the Introduction to Homotopy Type Theory☆123Updated 2 years ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆19Updated this week
- Proof automation – for Agda, in Agda.☆44Updated 4 years ago
- Lecture notes on realizability☆65Updated last month
- This is the place where (more or less) stable releases of my RW library will be published.☆16Updated 4 years ago
- A digital archive of category theory papers.☆20Updated 8 months ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆95Updated 2 years ago
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- A repository for material from the reading group on NbE☆17Updated last year
- A formalized proof of a version of the initiality conjecture☆41Updated 4 years ago