Alternatives and similar repositories for textbook

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

• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆52Updated 3 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆154Updated last month
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 2 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆212Updated 7 months ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆16Updated 5 years ago
• MATCHA-MIT / SHD-StarterCode
  Student Starter Code for Secure Hardware Design at MIT
  ☆81Updated last year
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆93Updated 3 years ago
• minlanyu / cs243-site
  ☆66Updated 10 months ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆34Updated 3 months ago
• minlanyu / cs145-site
  ☆31Updated 6 months ago
• CSStipendRankings / CSStipendRankings
  https://csstipendrankings.org
  ☆216Updated last month
• noise-lab / research-course
  "How to Do Great Research" Course for Ph.D. Students
  ☆130Updated this week
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆39Updated last year
• CMU-SAFARI / EINSim
  DRAM error-correction code (ECC) simulator incorporating statistical error properties and DRAM design characteristics for inferring pre-c…
  ☆10Updated last year
• DLFrameworkBug / DLFrameworkBugsData
  a data collection of related work: Toward Understanding Deep Learning Framework Bugs
  ☆16Updated 2 years ago
• li-xin-yi / seedlab
  Records & Reports for Seed-project
  ☆98Updated 4 years ago
• uds-se / debuggingbook
  Project page for "The Debugging Book"
  ☆268Updated last week
• shaowei-cai-group / z3pp
  ☆50Updated last year
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆201Updated 2 years ago
• zihaoli-cn / compiler-paper-reading
  A group of students who are interested in Compilers, and they want to improve themselves together.
  ☆25Updated 3 years ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• mit-frap / spring22
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
  ☆20Updated 3 years ago
• cis547 / cis547vm
  ☆20Updated last week
• mit-pdos / secfs-skeleton
  Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
  ☆24Updated 3 years ago
• HexHive / pubstats
  ☆33Updated 6 months ago
• dddrrreee / cs140e-23win
  All material for CS140E, winter 2023.
  ☆88Updated last year
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 10 months ago
• xinjin / course-net
  Computer Networks @ Johns Hopkins University
  ☆63Updated 4 years ago
• thu-cs-lab / verilog-coding-standard
  Recommended coding standard of Verilog and SystemVerilog.
  ☆35Updated 4 years ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆59Updated 7 months ago