diku-compSys / compSys-e2021-pubLinks
Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph
☆20Updated 3 years ago
Alternatives and similar repositories for compSys-e2021-pub
Users that are interested in compSys-e2021-pub are comparing it to the libraries listed below
Sorting:
- The extremely portable, extremely extensible line editor☆13Updated 3 years ago
- Public repository for the HPPS course☆17Updated 3 years ago
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆137Updated last year
- DIKU Support Tools for Canvas LMS☆14Updated last year
- Interactive Coq Proofs in Vim☆303Updated 3 months ago
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆31Updated 4 years ago
- Repository for the DPP'23 course☆11Updated last year
- A Haskell project template for Advent of Code solutions.☆33Updated last year
- Public archive of material performed on stage through the life time of DIKUrevy☆27Updated 7 months ago
- Course website for Data Parallel Programming at DIKU☆13Updated 10 months ago
- Total Parser Combinators in Agda☆132Updated 2 months ago
- Agda interaction in vim☆135Updated 4 years ago
- Parallel Functional Programming, 2020☆16Updated last year
- agda-mode for neovim☆168Updated last week
- Interactive theorem proving with Coq in vim.☆185Updated 5 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Updated last year
- Linear algebra formalization in Agda☆16Updated 5 years ago
- Public repository for HPPS☆14Updated 9 months ago
- Neovim support for the Lean theorem prover☆418Updated this week
- Categorical logic from a categorical point of view☆81Updated 2 years ago
- Public repository for Advanced Programming☆59Updated 9 months ago
- a proof-of-concept programming language based on call-by-push-value☆57Updated this week
- HoTTEST Summer School materials☆314Updated 5 months ago
- Public repository for HPPS 2022☆21Updated 2 years ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆126Updated 8 months ago
- Tutorial for using the MPL compiler for Parallel ML☆22Updated 9 months ago
- Categorical Logic Notes☆80Updated 3 years ago
- Agda interaction pluging for neovim☆40Updated last year
- high-performance cubical evaluation☆75Updated 6 months ago
- A small implementation of higher-order unification☆191Updated 8 years ago