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
• sampsyo / bril
  an educational compiler intermediate representation
  ☆724Updated 2 weeks ago
• penberg / awesome-os
  A curated list of resources on operating system design and implementation.
  ☆188Updated last year
• ila / TUM
  Notes, material and various stuff collected while attended TUM Master's Degree
  ☆483Updated 3 years ago
• vijay03 / cs380d-s21
  UT Austin CS 380D Distributed Systems with Vijay Chidambaram
  ☆22Updated 4 years ago
• dddrrreee / cs140e-23win
  All material for CS140E, winter 2023.
  ☆93Updated last year
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆52Updated 3 years ago
• Vuenc / TUM-Master-Informatics-Offered-Lectures
  User-friendly overview for TUM {MSc. + BSc. Informatics | MSc. DEA | MSc. Information Systems} programs on which lectures grouped by are…
  ☆151Updated 2 weeks ago
• cs61 / cs61-lectures
  CS61 lecture material
  ☆101Updated last month
• grahamking / perf-ninja-rs
  Rust port of dendibakh/perf-ninja - an online course where you can learn and master the skill of low-level performance analysis and tunin…
  ☆260Updated 4 months ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆17Updated 5 years ago
• mosharaf / eecs489
  EECS 489: Computer Networks @ the University of Michigan
  ☆266Updated 7 months ago
• vijay03 / cs360v-f21
  Virtualization course at the UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆26Updated 11 months ago
• angrave / CS341-Lectures-FA22
  ☆10Updated 3 years ago
• newca12 / awesome-rust-formalized-reasoning
  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…
  ☆363Updated this week
• ChrisWhealy / DistributedSystemNotes
  Notes on Lindsey Kuper's lectures on Distributed Systems
  ☆479Updated 4 months ago
• hxuhack / course_safepl
  Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University
  ☆32Updated 2 months ago
• upenn-cis198 / lecture1
  High level overview of Rust
  ☆18Updated 4 years ago
• Voultapher / sort-research-rs
  Test and benchmark suite for sort implementations.
  ☆512Updated this week
• mit-pdos / 6.S060-labs
  Programming labs for 6.S060 (Foundations of Computer Security).
  ☆15Updated 4 years ago
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆235Updated this week
• pocs-epfl / public
  POCS materials for the public
  ☆25Updated 3 weeks ago
• penberg / awesome-low-latency
  Patterns and resources of low latency programming.
  ☆1,158Updated 5 months ago
• anwarmamat / cmsc330fall21
  ☆18Updated 4 years ago
• minlanyu / cs145-site
  ☆31Updated 8 months ago
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆497Updated last week
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆40Updated 3 weeks ago
• banach-space / cpp-tutor
  Code examples for tutoring modern C++
  ☆99Updated 5 months ago
• formal-land / rocq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs to make safe applications for demanding domains.
  ☆1,042Updated this week
• famoser / eth-summaries
  summaries of courses taken at ETH
  ☆30Updated 4 years ago