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
• hxuhack / course_safepl
  Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University
  ☆32Updated last month
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆17Updated 5 years ago
• ila / TUM
  Notes, material and various stuff collected while attended TUM Master's Degree
  ☆482Updated 3 years ago
• penberg / awesome-os
  A curated list of resources on operating system design and implementation.
  ☆185Updated last year
• sampsyo / cs6120
  advanced compilers
  ☆882Updated last week
• cs61 / cs61-lectures
  CS61 lecture material
  ☆100Updated last week
• Leedehai / CS110Notes
  1st time TAing for CS110 at Stanford: Principles of Computer Systems? - Stars are appreciated :)
  ☆65Updated 6 years ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆106Updated last year
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆42Updated 6 years ago
• ChrisWhealy / DistributedSystemNotes
  Notes on Lindsey Kuper's lectures on Distributed Systems
  ☆480Updated 3 months ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆205Updated last year
• ekzhang / cs262
  Solutions to introductory distributed computing exercises
  ☆12Updated 2 years ago
• mit-pdos / perennial
  Verifying concurrent storage and distributed systems
  ☆208Updated this week
• feamster / COS461-Public
  Princeton University COS 461: Computer Networks
  ☆189Updated 4 years ago
• dddrrreee / cs140e-23win
  All material for CS140E, winter 2023.
  ☆91Updated last year
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆52Updated 3 years ago
• sampsyo / bril
  an educational compiler intermediate representation
  ☆723Updated last month
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆685Updated this week
• SebastianElvis / distributed-computing-lecture-notes
  Lecture notes on Distributed Computing that are publicly accessible.
  ☆84Updated 4 years ago
• erikgrinaker / readings
  Interesting readings and talks on computer science
  ☆722Updated 10 months ago
• secure-foundations / rWasm
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆37Updated last year
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆26Updated last year
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆211Updated 5 years ago
• wrwwctb / Stanford-CS107-2017-2018-fall
  Computer Organization & Systems, taught by Julie Zelenski
  ☆46Updated 6 years ago
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆54Updated last year
• vijay03 / cs380d-s21
  UT Austin CS 380D Distributed Systems with Vijay Chidambaram
  ☆21Updated 4 years ago
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆104Updated this week
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆167Updated last 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…
  ☆361Updated last week