diku-compSys / compSys-e2023-pub
☆40Updated 8 months ago
Alternatives and similar repositories for compSys-e2023-pub:
Users that are interested in compSys-e2023-pub are comparing it to the libraries listed below
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆132Updated last year
- Guides and guidelines for software development course☆20Updated last month
- ☆30Updated 2 years ago
- ☆11Updated 5 months ago
- ☆18Updated last week
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆31Updated 4 years ago
- Public material for IT-security, B1, E2020 @ DIKU, Dept. CS, Univ. Cph☆10Updated 4 years ago
- Material for the elective "DevOps, Software Evolution and Software Maintenance" at IT University of Copenhagen, spring 2023☆83Updated this week
- Generic package manager for Standard ML libraries and programs☆165Updated 2 months ago
- A Minecraft client written in rust (currently only working on offline connections)☆10Updated last year
- Windows Implementation of the Dvorak - Français (Canada) keyboard layout☆10Updated last month
- An interpreter for learning and exploring pure λ-calculus☆452Updated 3 years ago
- Alicja Moskal, Bartosz Chrostowski, Emil Dragańczuk, Jakub Drak Sbahi, Mikołaj Molenda☆12Updated 4 years ago
- My awesome Neovim configuration☆7Updated 11 months ago
- ☆13Updated 3 weeks ago
- Web application that allows students to navigate through their selected HASS integrated pathway courses☆12Updated 7 months ago
- Tudo sobre a disciplina Algoritmos e Técnicas de Programação II em 2022☆10Updated 2 years ago
- A book that explore how to write an Operating System from scratch☆691Updated 3 weeks ago
- HoTTEST Summer School materials☆297Updated last year
- The widely used AAU LaTeX report template, rewritten in Typst☆11Updated 3 weeks ago
- An APL-like programming language☆947Updated last week
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year
- ❄️ NixOs / Hyprland rice with Home-Manager ❄️☆549Updated this week
- An opinionated list of resources for learning Haskell☆898Updated 3 years ago
- Minimal implementations for dependent type checking and elaboration☆652Updated 2 months ago
- Perlin noise implementation written in C#☆23Updated 6 years ago
- An open-source, customizable intermediate logic textbook☆1,134Updated this week
- My personal NixOS configuration files with flakes + home-manager, wayland + hyprland, network-manager, kitty, zsh, neovim, rofi, waybar, …☆23Updated 2 months ago
- Implemented FABRIK (forward and backward reachable inverse kinematics) for procedural spider walk animation in unity3d☆9Updated 2 years ago
- Kolekce Anki balíčků k různým předmětům na MFF (informatika).☆13Updated last year