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
- Course website for Data Parallel Programming at DIKU☆13Updated 9 months ago
- Public repository for the HPPS course☆17Updated 3 years ago
- Public repository for Advanced Programming☆59Updated 8 months ago
- Agda interaction in vim☆135Updated 3 years ago
- A Haskell project template for Advent of Code solutions.☆33Updated last year
- HoTTEST Summer School materials☆312Updated 4 months ago
- Public archive of material performed on stage through the life time of DIKUrevy☆27Updated 6 months ago
- agda-mode for neovim☆167Updated 3 weeks ago
- The Haskell LaTeX library.☆199Updated 2 years ago
- Interactive Coq Proofs in Vim☆302Updated 2 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆122Updated last year
- Number theory: primes, arithmetic functions, modular computations, special sequences☆155Updated last week
- The agda-unimath library☆269Updated this week
- Total Parser Combinators in Agda☆132Updated 2 months 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
- 15-819 (Homotopy Type Theory) Lecture Notes☆56Updated 5 years ago
- DIKU Support Tools for Canvas LMS☆14Updated last year
- Nix configuration for reproducible builds of LaTeX documents☆25Updated 4 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆261Updated 2 weeks ago
- ☆19Updated 8 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆401Updated 3 weeks ago
- Advent of Code 2020 Haskell Solutions☆16Updated 4 years ago
- A plugin to type Unicode chars in Vim, using their LaTeX names.☆90Updated last year
- HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implement…☆126Updated this week
- A better version of KU's course catalogue☆21Updated last month
- Agda as a collaborative multiplayer game☆38Updated 11 months ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Updated 6 months ago
- Lean Theorem Prover plugin for Vim.☆16Updated 3 years ago