itu-devops / lecture_notes
Material for the elective "DevOps, Software Evolution and Software Maintenance" at IT University of Copenhagen, spring 2023
☆70Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for lecture_notes
- Git på pæredansk☆154Updated last year
- Kitty is a CLI for interacting with Kattis that allows you to test and submit problems straight from your terminal.☆24Updated 2 months ago
- Analysis, Design and Software Architecture (Autumn 2021)☆9Updated last year
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆127Updated 7 months ago
- ☆18Updated 2 years ago
- Python package to autocomplete bibtex bibliographies☆87Updated 3 weeks ago
- Frontend til nettsiden til echo – Linjeforeningen for informatikk.☆9Updated 2 years ago
- HoTTEST Summer School materials☆289Updated last year
- A Tufte-styled LaTeX class for theses☆43Updated last year
- Fancy Advent of Code README tiles showing the completion status of the challenges per day☆26Updated 2 months ago
- An open-source, customizable intermediate logic textbook☆1,076Updated this week
- A LaTeX preample for Computer Science handins and presentations (Danish and English) with reverse-engineerable examples☆22Updated this week
- Eine Sammlung an Zusammenfassungen/Cheatsheets, welche ich im Laufe meines Informatik Studiums an der HSR geschrieben habe.☆45Updated 2 years ago
- Tool for developing tasks for programming competitions.☆14Updated this week
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆364Updated 3 weeks ago
- ☆250Updated 2 years ago
- A template for a Python monorepo 🐍☆14Updated 10 months ago
- Source code of my YouTube videos animated with MotionCanvas☆25Updated 7 months ago
- LaTeX template for Master, Bachelor, Diploma, and Student Theses☆358Updated 3 months ago
- A slightly improved variant of the official thesis sample☆29Updated 6 months ago
- 📜 Haskell course info, plan, video lectures, slides☆1,285Updated last year
- Browser extension for VVZ (ETHZ)☆10Updated last month
- An automated tutorial to teach you about Haskell!☆167Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 8 months ago
- A comprehensive LaTeX template with examples for theses, books and more, employing the 'latest and greatest' (UTF8, glossaries, fonts, ..…☆224Updated 8 months ago
- Neovim support for the Lean theorem prover☆278Updated this week
- TUMs lecture streaming service.☆191Updated this week
- First Semester Discrete Mathematics lectures typed in LaTeX in note form for Second Year Trinity College students.☆32Updated 7 years ago
- sthlmNord is a LaTeX Beamer slide deck theme inspired by the arctic north blueish colour palette of Nord. The code base is HEAVILY influe…☆152Updated 2 years ago