Alternatives and similar repositories for pdr

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

• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆101Updated 10 months ago
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆307Updated last year
• mrkline / concurrency-primer
  The basics of low-level concurrency in a sub-30 minute read
  ☆242Updated 4 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆124Updated last year
• vijay03 / cs360v-f20
  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆65Updated 5 years ago
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆265Updated 5 years ago
• hjl-tools / x86-psABI
  ☆392Updated 5 years ago
• banach-space / cpp-tutor
  Code examples for tutoring modern C++
  ☆99Updated 4 months ago
• ThaumicMekanism / venus
  RISC-V instruction set simulator built for education
  ☆160Updated 3 years ago
• boginw / js-y86-64
  y86-64 simulator and assembler written in Javascript.
  ☆63Updated last year
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆282Updated this week
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆160Updated last week
• jsommers / cbook
  the book of c
  ☆20Updated 11 months ago
• cs61 / cs61-lectures
  CS61 lecture material
  ☆100Updated last week
• lemire / testingmlp
  Testing memory-level parallelism
  ☆82Updated last year
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆52Updated 3 years ago
• paulmckrcu / perfbook
  Is Parallel Programming Hard, And If So, What Can You Do About It?
  ☆481Updated this week
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆106Updated last year
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆199Updated 2 years ago
• yyqian / csapp-labs
  Labs for self-study: Computer Systems: A Programmer's Perspective, 3/E (CS:APP3e)
  ☆54Updated 6 years ago
• emilk / ram_bench
  A benchmark for random memory accesses
  ☆123Updated 2 years ago
• pmem / valgrind
  Enhanced Valgrind for Persistent Memory
  ☆112Updated last year
• ahupowerdns / hello-cpp
  C++ for C programmers
  ☆75Updated 7 years ago
• lorenzo-stoakes / linux-mm-notes
  Succinct notes on the linux mm subsystem.
  ☆123Updated 2 years ago
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆444Updated 2 months ago
• COMP1511UNSW / dcc
  dcc - a C compiler which explains errors to novice programmers
  ☆169Updated 11 months ago
• eliben / c-unleashed-book-souce-code
  Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.
  ☆75Updated 4 years ago
• lenary / abis
  Big List of ABI Resources
  ☆52Updated last year
• mdadams / cppbook_companion
  C++ Book Companion Repository (With Code Examples and Exercises)
  ☆121Updated 6 months ago
• sampsyo / cs6120
  advanced compilers
  ☆880Updated 2 weeks ago