datalogisk-fagraad / DIKUNotesLinks
A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenhagen.
☆139Updated last year
Alternatives and similar repositories for DIKUNotes
Users that are interested in DIKUNotes are comparing it to the libraries listed below
Sorting:
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆32Updated 4 years ago
- Interactive Lecture Notes, Slides and Exercises for the NLP course at DIKU, UCPH☆87Updated 2 months ago
- Public repository for Advanced Programming☆59Updated 11 months ago
- fairly limited x86 to x86' translator☆19Updated 3 years ago
- A better version of KU's course catalogue☆21Updated 3 months ago
- How do I DIKU? How indeed.☆28Updated 2 weeks ago
- Guides and guidelines for software development course☆20Updated 10 months ago
- Public repository for HPPS 2022☆21Updated 2 years ago
- DIKU Support Tools for Canvas LMS☆14Updated last year
- HoTTEST Summer School materials☆319Updated 6 months ago
- Neovim support for the Lean theorem prover☆450Updated last week
- Interactive Coq Proofs in Vim☆311Updated 3 weeks ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆411Updated last week
- Course website for Data Parallel Programming at DIKU☆14Updated last year
- ☆19Updated 11 months ago
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!☆436Updated 2 weeks ago
- Code challenges to solve with Haskell☆182Updated 3 months ago
- agda-mode for neovim☆172Updated last month
- Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph☆20Updated 3 years ago
- The agda-unimath library☆278Updated this week
- Notes for first year Computing at Imperial College London☆54Updated 3 years ago
- A simple library for reporting compiler/interpreter errors☆268Updated last year
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 7 months ago
- Tensors and neural networks in Haskell☆1,174Updated 2 weeks ago
- A formatter for Haskell source code☆1,031Updated 2 weeks ago
- Advent Of Code 2022☆26Updated 3 years ago
- Data structures and algorithms for competitive programming in Haskell☆16Updated last year
- Visual Studio Code extension for Coq☆426Updated 2 weeks ago
- Notes from courses at FI MUNI.☆72Updated 3 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 4 years ago