datalogisk-fagraad / DIKUNotesLinks
A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenhagen.
☆143Updated last year
Alternatives and similar repositories for DIKUNotes
Users that are interested in DIKUNotes are comparing it to the libraries listed below
Sorting:
- Interactive Lecture Notes, Slides and Exercises for the NLP course at DIKU, UCPH☆87Updated 3 months ago
- Public repository for Advanced Programming☆59Updated last year
- A better version of KU's course catalogue☆21Updated 4 months ago
- Guides and guidelines for software development course☆20Updated 11 months ago
- Advent Of Code 2022☆26Updated 3 years ago
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆32Updated 5 years ago
- HoTTEST Summer School materials☆322Updated 7 months ago
- fairly limited x86 to x86' translator☆19Updated 3 years ago
- A slightly improved variant of the official thesis sample☆31Updated 4 months ago
- How do I DIKU? How indeed.☆28Updated last month
- The agda-unimath library☆283Updated 2 weeks ago
- Notes for first year Computing at Imperial College London☆54Updated 3 years ago
- agda-mode for neovim☆175Updated last week
- Visual Studio Code extension for Coq☆430Updated last month
- Template for a basic academic page☆16Updated last month
- DIKU Support Tools for Canvas LMS☆14Updated last year
- Lecture notes for the Type Systems course given in Autumn 2023☆15Updated last year
- Code challenges to solve with Haskell☆185Updated 4 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆418Updated this week
- A collection of tools for writing technical documents that mix Coq code and prose.☆284Updated 4 months ago
- Interactive Coq Proofs in Vim☆312Updated last month
- An experimental library for Cubical Agda☆530Updated last week
- Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph☆20Updated 4 years ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- The Agda standard library☆642Updated this week
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆268Updated last week
- Course materials for Chalmers TPIL25 class☆15Updated 11 months ago
- Public repository for HPPS 2022☆21Updated 3 years ago
- Neovim support for the Lean theorem prover☆463Updated last week
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated 6 months ago