ls1-sys-prog-course-archive-SoSe23 / docsLinks
Practical course: Advanced Systems Programming in C/Rust -- SoSe 2023
☆24Updated last year
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below
Sorting:
- Cloud lab material☆35Updated 2 years ago
- Notes, material and various stuff collected while attended TUM Master's Degree☆462Updated 2 years ago
- A LaTeX template for TUM Bachelor/Master theses.☆196Updated 2 months ago
- Matching the electives in the TUM Informatics master by area with the information if they are actually being offered this semester.☆127Updated 2 months ago
- TUM exam statistics and more at the Technical University of Munich.☆46Updated 2 months ago
- Practical course: Advanced Systems Programming in C/Rust -- WiSe 2023☆32Updated last year
- Download and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/☆72Updated 3 weeks ago
- ☆17Updated last year
- A bot that monitors wg-gesucht.de for new flat offers and automatically writes to the landlords☆31Updated 2 years ago
- A website providing links, redirects and tools related to the Technical University Munich☆92Updated this week
- Teaching repository for the undergraduate course in Operations Research at Technical University Munich.☆19Updated 2 years ago
- List of bugs found in distributed protocols☆198Updated last year
- Version-controlled Anki flashcards written in Markdown for CS @ TUM☆25Updated last month
- TUMs lecture streaming service.☆196Updated this week
- Artemis - Interactive Learning with Automated Feedback☆607Updated this week
- Collection of JUnit Tests for PGdP exercises at TUM in WS22/23☆99Updated 2 years ago
- ☆41Updated last year
- TUM Grundlagen Algorithmen und Datenstrukturen 2019 Extras (Tests & co.)☆5Updated 5 years ago
- Patterns and resources of low latency programming.☆565Updated 9 months ago
- Documentation and links about the course☆25Updated 2 years ago
- IN2118 Databases Implementation on Modern CPU Architectures, SS 2020, TUM☆18Updated 4 years ago
- A Rust verification tool☆265Updated this week
- ☆26Updated 2 years ago
- Exercise generator and helpful materials for the Introduction to Algorithms and Data Structures 📚☆39Updated 2 years ago
- LingoDB: A new analytical database system that blurs the lines between databases and compilers.☆255Updated this week
- Here we collect worldwide courses teaching formal methods☆37Updated 5 years ago
- An especially excellent font.☆13Updated 2 years ago
- ☆8Updated 2 years ago
- Raft Lite is a very simple and verified implementation of the Raft consensus algorithm.☆37Updated last year
- Collection of JUnit Tests for GAD exercises at TUM in SS22☆34Updated 2 years ago