itu-devops / lecture_notes
Material for the elective "DevOps, Software Evolution and Software Maintenance" at IT University of Copenhagen, spring 2023
☆71Updated last month
Related projects: ⓘ
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆125Updated 5 months ago
- Git på pæredansk☆146Updated last year
- Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph☆22Updated 2 years ago
- ☆67Updated this week
- Programming exercises for algorithm design☆45Updated last year
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆31Updated 3 years ago
- fairly limited x86 to x86' translator☆19Updated last year
- Public material for IT-security, B1, E2020 @ DIKU, Dept. CS, Univ. Cph☆10Updated 3 years ago
- Kattis shell for getting examples, testing and submitting.☆19Updated last month
- A repo containing my outlines/exam notes for the course Algorithms and Datastructures (AD) at DIKU☆14Updated 5 years ago
- Frontend til nettsiden til echo – Linjeforeningen for informatikk.☆9Updated 2 years ago
- ☆15Updated this week
- Exercises for Docker training☆236Updated last month
- ☆15Updated 9 months ago
- DIKU Support Tools for Canvas LMS☆13Updated this week
- ☆12Updated 3 years ago
- ☆11Updated 4 months ago
- Haskell MOOC University of Helsinki☆307Updated last week
- A better version of KU's course catalogue☆19Updated 3 weeks ago
- 🇩🇰 Liste over danske API'er☆557Updated 2 months ago
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated 5 months ago
- Python, but danish 🇩🇰🦢🍻☆31Updated 3 years ago
- Scientific computing in Lean 4☆297Updated last week
- Interactive Coq Proofs in Vim☆271Updated this week
- The extremely portable, extremely extensible line editor☆13Updated 2 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆118Updated 6 months ago
- ☆13Updated this week
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆129Updated last year
- Eine Sammlung an Zusammenfassungen/Cheatsheets, welche ich im Laufe meines Informatik Studiums an der HSR geschrieben habe.☆45Updated 2 years ago
- An interpreter for learning and exploring pure λ-calculus☆448Updated 3 years ago