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
• penberg / awesome-os
  A curated list of resources on operating system design and implementation.
  ☆167Updated last year
• sampsyo / cs6120
  advanced compilers
  ☆856Updated this week
• dddrrreee / cs140e-23win
  All material for CS140E, winter 2023.
  ☆84Updated last year
• mosharaf / eecs489
  EECS 489: Computer Networks @ the University of Michigan
  ☆264Updated 3 months ago
• jzarnett / se350
  SE 350: Operating Systems
  ☆23Updated 2 years ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆105Updated last year
• mit-pdos / 6.S060-labs
  Programming labs for 6.S060 (Foundations of Computer Security).
  ☆15Updated 3 years ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆16Updated 4 years ago
• vijay03 / cs360v-f21
  Virtualization course at the UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆26Updated 7 months ago
• sampsyo / bril
  an educational compiler intermediate representation
  ☆685Updated 3 weeks ago
• hxuhack / course_safepl
  Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University
  ☆32Updated 3 months ago
• CIS1900 / 2022-fall
  ☆12Updated 11 months ago
• madsim-rs / madsim
  Magical Deterministic Simulator for distributed systems in Rust.
  ☆953Updated last month
• model-checking / verify-rust-std
  Verifying the Rust standard library
  ☆267Updated this week
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆51Updated 3 years ago
• TUM-DSE / sys-lab
  Computer Systems Lab
  ☆11Updated last month
• erikgrinaker / readings
  Interesting readings and talks on computer science
  ☆713Updated 7 months ago
• Zhenye-Na / CSAPP-Labs
  Computer Systems: A Programmer's Perspective, Lab Assignments Solutions
  ☆227Updated 5 years ago
• kw7oe / mini-db
  A mini dbms implementation in Rust.
  ☆63Updated 2 years ago
• cpeikert / TheoryOfCryptography
  Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
  ☆175Updated last year
• jzarnett / ece252
  ECE 252: Systems Programming and Concurrency
  ☆233Updated 2 years ago
• emichael / dslabs
  Distributed Systems Labs and Framework
  ☆1,436Updated 4 months ago
• rex-rs / rex
  Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…
  ☆87Updated 3 weeks ago
• famoser / eth-summaries
  summaries of courses taken at ETH
  ☆28Updated 4 years ago
• syswonder / ruxos
  Rust Unikernel OS
  ☆80Updated last month
• penberg / awesome-low-latency
  Patterns and resources of low latency programming.
  ☆702Updated last month
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆96Updated this week
• pengwubj / CS110
  Principles of Computer Systems
  ☆54Updated 8 years ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆121Updated 5 years ago