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
  ☆467Updated 2 years ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆15Updated 4 years ago
• ls1-sys-prog-course-archive-WiSe23 / docs
  Practical course: Advanced Systems Programming in C/Rust -- WiSe 2023
  ☆32Updated last year
• 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.
  ☆136Updated this week
• TUM-Dev / tum-thesis-latex
  A LaTeX template for TUM Bachelor/Master theses.
  ☆203Updated 4 months ago
• sampsyo / cs6120
  advanced compilers
  ☆848Updated last month
• dddrrreee / cs140e-23win
  All material for CS140E, winter 2023.
  ☆83Updated last year
• gboduljak / stanford-compilers-coursework
  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
• cs61 / cs61-lectures
  CS61 lecture material
  ☆98Updated 8 months ago
• sampsyo / bril
  an educational compiler intermediate representation
  ☆683Updated last month
• fwalch / tum-thesis-latex
  A LaTeX template for TUM Bachelor/Master theses.
  ☆463Updated 2 years ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆105Updated last year
• vijay03 / cs380d-s21
  UT Austin CS 380D Distributed Systems with Vijay Chidambaram
  ☆20Updated 4 years ago
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆51Updated 3 years ago
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆95Updated this week
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆38Updated this week
• penberg / awesome-os
  A curated list of resources on operating system design and implementation.
  ☆161Updated last year
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆121Updated 5 years ago
• hxuhack / course_safepl
  Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University
  ☆33Updated 3 months ago
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆604Updated 2 months ago
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆52Updated last year
• ymerkli / eth-summaries
  Summaries and study materials I've written over the course of my studies at ETH Zurich
  ☆90Updated 4 years ago
• upenn-cis198 / lecture1
  High level overview of Rust
  ☆18Updated 3 years ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆199Updated last year
• angrave / CS341-Lectures-FA22
  ☆8Updated 2 years ago
• NetSys / cs168_proj_routing_student
  CS168 Project 1: Routing
  ☆13Updated 5 years ago
• RumbleDB / bigdata-exercises
  Exercises for the Big Data lecture at ETH Zurich (Fall 2021)
  ☆141Updated 2 months ago
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆197Updated this week
• newca12 / awesome-rust-formalized-reasoning
  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…
  ☆352Updated 2 weeks ago