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
• li-xin-yi / seedlab
  Records & Reports for Seed-project
  ☆97Updated 5 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆210Updated 10 months ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆166Updated last month
• MATCHA-MIT / SHD-StarterCode
  Student Starter Code for Secure Hardware Design at MIT
  ☆85Updated last week
• minlanyu / cs145-site
  ☆31Updated 9 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 3 years ago
• dddrrreee / cs140e-23win
  All material for CS140E, winter 2023.
  ☆93Updated last year
• CSStipendRankings / CSStipendRankings
  https://csstipendrankings.org
  ☆219Updated 3 months ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆94Updated 4 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆50Updated last year
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• cis547 / cis547vm
  ☆20Updated 2 months ago
• minlanyu / cs243-site
  ☆67Updated last year
• thu-cs-lab / verilog-coding-standard
  Recommended coding standard of Verilog and SystemVerilog.
  ☆36Updated 4 years ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆34Updated last month
• dtcxzyw / llvm-apr-benchmark
  A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs
  ☆19Updated 3 weeks ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆17Updated 5 years ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆38Updated 3 months ago
• noise-lab / research-course
  "How to Do Great Research" Course for Ph.D. Students
  ☆136Updated 2 months ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆205Updated 2 years ago
• uds-se / debuggingbook
  Project page for "The Debugging Book"
  ☆269Updated 3 months ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆79Updated 3 years ago
• pku-minic / next-gen-ir-proposal
  Proposal for the next generation of course-oriented IR.
  ☆10Updated 4 years ago
• comet-cc / GuaranTEE
  ☆13Updated last year
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆25Updated 2 years ago
• DLFrameworkBug / DLFrameworkBugsData
  a data collection of related work: Toward Understanding Deep Learning Framework Bugs
  ☆16Updated 2 years ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆58Updated 3 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆30Updated last year
• sith-lab / gpuhammer
  ☆77Updated 4 months ago