datalogisk-fagraad / DIKUNotesLinks
A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenhagen.
☆137Updated last year
Alternatives and similar repositories for DIKUNotes
Users that are interested in DIKUNotes are comparing it to the libraries listed below
Sorting:
- Public repository for Advanced Programming☆59Updated 5 months ago
- Interactive Lecture Notes, Slides and Exercises for the NLP course at DIKU, UCPH☆59Updated last week
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆31Updated 4 years ago
- Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph☆20Updated 3 years ago
- A slightly improved variant of the official thesis sample☆30Updated last year
- A selection of textbook-like course notes for the Imperial College Computing modules.☆79Updated last year
- DIKU Support Tools for Canvas LMS☆14Updated 10 months ago
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆151Updated 3 years ago
- Advent Of Code 2022☆26Updated 2 years ago
- Template for master's thesis at Chalmers.Based on the template by Magnus Gustaver which in turn is based on the template by David Frisk..☆9Updated 3 years ago
- A Haskell project template for Advent of Code solutions.☆32Updated last year
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- Neovim support for the Lean theorem prover☆370Updated this week
- Tool for developing tasks for programming competitions.☆16Updated this week
- Code challenges to solve with Haskell☆159Updated 2 months ago
- List of papers studying machine learning through the lens of category theory☆1,404Updated last month
- Public repository for HPPS 2022☆21Updated 2 years ago
- HoTTEST Summer School materials☆303Updated last month
- Notes for first year Computing at Imperial College London☆52Updated 3 years ago
- Interactive Coq Proofs in Vim☆296Updated last week
- A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!☆397Updated 2 months ago
- Tensors and neural networks in Haskell☆1,139Updated 2 weeks ago
- ☆126Updated 11 months ago
- Solution to Algebra, Chapter 0☆92Updated 3 months ago
- Haskell MOOC University of Helsinki☆380Updated 2 months ago
- Notes for the Lectures of Year 2 Computing 2021-22☆42Updated 2 years ago
- I'm trying to update the Real World Haskell book☆790Updated 2 years ago
- agda-mode for neovim☆158Updated 2 months ago
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆31Updated last year
- ☆17Updated last year