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☆464Updated 2 years ago
- Matching the electives in the TUM Informatics master by area with the information if they are actually being offered this semester.☆129Updated 3 months ago
- A LaTeX template for TUM Bachelor/Master theses.☆198Updated 3 months ago
- A LaTeX template for TUM Bachelor/Master theses.☆461Updated 2 years ago
- Thesis info☆14Updated last month
- Lecture slides "Blockchain-based Systems Engineering"☆391Updated 2 months ago
- A bot that monitors wg-gesucht.de for new flat offers and automatically writes to the landlords☆31Updated 2 years ago
- ☆17Updated last year
- TUM exam statistics and more at the Technical University of Munich.☆46Updated 3 months ago
- This is a repository to collect JUnit Tests for GAD exercises at TUM in SS21☆33Updated 3 years ago
- Documentation and links about the course☆25Updated 2 years ago
- summaries of courses taken at ETH☆28Updated 3 years ago
- Summaries and study materials I've written over the course of my studies at ETH Zurich☆89Updated 3 years ago
- Loupe: Syscall Usage Analysis Tool☆37Updated this week
- All material for CS140E, winter 2023.☆84Updated last year
- A Rust verification tool☆272Updated this week
- A verified library of synchronization primitives and concurrent data structures☆35Updated last month
- Practical course: Advanced Systems Programming in C/Rust -- WiSe 2023☆32Updated last year
- Stanford CS 110L Spring 2020 assignment starter code☆105Updated 10 months ago
- Download and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/☆74Updated 2 weeks ago
- A website providing links, redirects and tools related to the Technical University Munich☆93Updated 3 weeks ago
- TUMs lecture streaming service.☆199Updated this week
- Verifying concurrent crash-safe systems☆187Updated this week
- A curated list of resources on operating system design and implementation.☆153Updated last year
- A Rust-based embedded operating system designed to enable memory-safe, robust, and responsive embedded applications.☆71Updated 2 months ago
- ☆123Updated 2 weeks ago
- distributed algorithms notes, exercises, solutions and readings - referenced books provided☆14Updated 3 years ago
- ☆30Updated 2 months ago
- This is a repository of coursework project for the Stanford Compilers MOOC course. The result is a fully-working compiler for the COOL Pr…☆57Updated 2 years ago