Alternatives and similar repositories for docs:

Users that are interested in docs are comparing it to the libraries listed below

• TUM-DSE / cloud-lab
  Cloud lab material
  ☆35Updated 2 years ago
• ila / TUM
  Notes, material and various stuff collected while attended TUM Master's Degree
  ☆446Updated 2 years ago
• Vuenc / TUM-Master-Informatics-Offered-Lectures
  Matching the electives in the TUM Informatics master by area with the information if they are actually being offered this semester.
  ☆115Updated 4 months ago
• TUM-Dev / tum-thesis-latex
  A LaTeX template for TUM Bachelor/Master theses.
  ☆174Updated 2 months ago
• AlessandroGrassi99 / wgbot
  A bot that monitors wg-gesucht.de for new flat offers and automatically writes to the landlords
  ☆30Updated 2 years ago
• TUM-Dev / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆93Updated 2 weeks ago
• mcmikecreations / tum_info
  TUM exam statistics and more at the Technical University of Munich.
  ☆42Updated 2 months ago
• fwalch / tum-thesis-latex
  A LaTeX template for TUM Bachelor/Master theses.
  ☆447Updated 2 years ago
• Valentin-Metz / tum_video_scraper
  Download and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/
  ☆69Updated 2 months ago
• N0W0RK / TUM_GAD_Tests_SS21
  This is a repository to collect JUnit Tests for GAD exercises at TUM in SS21
  ☆34Updated 2 years ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆103Updated 6 months ago
• TUM-Dev / gocast
  TUMs lecture streaming service.
  ☆192Updated this week
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆172Updated this week
• uchicago-cs / chidb
  ☆66Updated 2 years ago
• mammuth / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆144Updated last year
• WiktorJ / fde-tutorial
  ☆10Updated 5 years ago
• nipkow / fds_ss20
  Lecture course on verified Functional Data Structures
  ☆27Updated 4 years ago
• Funky-Punky / FPV_SS22_Repetitorium
  ☆19Updated last year
• eatonphil / raft-rs
  Another minimal Raft implementation in Rust.
  ☆180Updated last year
• newca12 / awesome-rust-formalized-reasoning
  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…
  ☆319Updated this week
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆204Updated 4 years ago
• Voultapher / sort-research-rs
  Test and benchmark suite for sort implementations.
  ☆374Updated 3 weeks ago
• CMU-HKN / CMU-ECE-CS-Guide
  How to survive CMU as an ECE/CS major
  ☆537Updated 7 months ago
• cmu-db / 15445-bootcamp
  A basic introduction to coding in modern C++.
  ☆772Updated 6 months ago
• ls1-sys-prog-course-archive-WiSe23 / docs
  Practical course: Advanced Systems Programming in C/Rust -- WiSe 2023
  ☆32Updated last year
• ls1-sys-prog-course-archive-WiSe24 / docs
  Practical course: Systems Programming in C/Rust -- WiSe 2024/25
  ☆56Updated 2 months ago
• cryspen / hax
  A Rust verification tool
  ☆229Updated this week
• RumbleDB / bigdata-exercises
  Exercises for the Big Data lecture at ETH Zurich (Fall 2021)
  ☆133Updated this week
• lingo-db / lingo-db
  LingoDB: A new analytical database system that blurs the lines between databases and compilers.
  ☆234Updated this week
• pdm-book / community
  ☆76Updated 2 years ago