Alternatives and similar repositories for textbook

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

• minlanyu / cs243-site
  ☆65Updated 6 months ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆128Updated last week
• prncoprs / best-papers-in-computer-security
  This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.
  ☆96Updated 2 months ago
• cs61 / cs61-lectures
  CS61 lecture material
  ☆98Updated 6 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆52Updated 3 years ago
• HexHive / pubstats
  ☆31Updated 2 months ago
• minlanyu / cs145-site
  ☆30Updated 2 months ago
• fxlin / os-course
  A fun OS course
  ☆19Updated 4 years ago
• CSStipendRankings / CSStipendRankings
  https://csstipendrankings.org
  ☆208Updated last week
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆34Updated last month
• thu-cs-lab / verilog-coding-standard
  Recommended coding standard of Verilog and SystemVerilog.
  ☆34Updated 3 years ago
• Fuyukiri / CS61C
  UC Berkeley CS61C 2020/2021 FALL
  ☆13Updated 2 years ago
• xlab-uiuc / reading-system-verification-papers
  A reading group for system verification papers
  ☆10Updated last year
• jasonyu1996 / elasticlave
  ☆22Updated 3 months ago
• MATCHA-MIT / SHD-StarterCode
  Student Starter Code for Secure Hardware Design at MIT
  ☆76Updated last year
• dpankratz / TVMFuzz
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆28Updated 5 years ago
• haohuaijin / CS61C
  CS61c Fall 2019 labs and projects' solutions.
  ☆25Updated 5 years ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆15Updated 4 years ago
• Junren0716 / CS61c
  All Coursework from my CS61c (Great Ideas in Computer Architecture / Machine Structures) Course at UC Berkeley
  ☆89Updated 7 years ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• vijay03 / asstprofbook
  Github repo backing website for the CS Assistant Professor Handbook
  ☆26Updated 10 months ago
• Compass-All / CCS22-StrongBox
  ☆32Updated 2 years ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆20Updated last month
• cs161-staff / project2-userlib
  The user library, public
  ☆10Updated last year
• chao-peng / CLFuzz
  ☆9Updated 5 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆210Updated 3 months ago
• PeiMu / findPhdPositions
  Hope this could be helpful when you're struggling with finding a suitable PhD/postDoc position.
  ☆10Updated last year
• anirudhkhatry / CRUST-bench
  Datasets and code for the CRUST-bench paper.
  ☆17Updated 2 weeks ago
• wrwwctb / Stanford-CS107-2017-2018-fall
  Computer Organization & Systems, taught by Julie Zelenski
  ☆42Updated 5 years ago