Alternatives and similar repositories for textbook

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

• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆136Updated last month
• CSStipendRankings / CSStipendRankings
  https://csstipendrankings.org
  ☆211Updated 3 weeks ago
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆51Updated 3 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆68Updated 2 years ago
• minlanyu / cs243-site
  ☆66Updated 8 months ago
• MATCHA-MIT / SHD-StarterCode
  Student Starter Code for Secure Hardware Design at MIT
  ☆78Updated last year
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated last year
• fxlin / os-course
  A fun OS course
  ☆19Updated 4 years ago
• thu-cs-lab / verilog-coding-standard
  Recommended coding standard of Verilog and SystemVerilog.
  ☆34Updated 3 years ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• dddrrreee / cs140e-23win
  All material for CS140E, winter 2023.
  ☆84Updated last year
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆16Updated 4 years ago
• cs61 / cs61-lectures
  CS61 lecture material
  ☆99Updated 9 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆212Updated 5 months ago
• noise-lab / research-course
  "How to Do Great Research" Course for Ph.D. Students
  ☆129Updated 2 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆48Updated 3 weeks ago
• mit-pdos / secfs-skeleton
  Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
  ☆23Updated 3 years ago
• Compass-All / CCS22-StrongBox
  ☆33Updated 2 years ago
• kevin-w-du / BookCode
  Source code for my books
  ☆163Updated 2 years ago
• litz-lab / scarab
  ☆13Updated 2 weeks ago
• 0xADE1A1DE / Mastik
  ☆114Updated 2 years ago
• sith-lab / gpuhammer
  ☆58Updated last month
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 6 years ago
• HexHive / pubstats
  ☆32Updated 4 months ago
• vijay03 / asstprofbook
  Github repo backing website for the CS Assistant Professor Handbook
  ☆27Updated last year
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 3 months ago
• jasonyu1996 / elasticlave
  ☆23Updated 5 months ago
• mit-frap / spring22
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
  ☆20Updated 3 years ago
• CMU-SAFARI / EINSim
  DRAM error-correction code (ECC) simulator incorporating statistical error properties and DRAM design characteristics for inferring pre-c…
  ☆10Updated last year
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆196Updated 2 years ago