Alternatives and similar repositories for pdr:

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

• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆254Updated 4 years ago
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆277Updated 8 months ago
• banach-space / cpp-tutor
  Code examples for tutoring modern C++
  ☆91Updated last month
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆91Updated last week
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆174Updated 2 years ago
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆110Updated 5 years ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆13Updated 4 years ago
• remzi-arpacidusseau / ostep-typos
  ☆51Updated last year
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆112Updated 3 months ago
• beejjorgensen / bgipc
  Beej's Guide to Unix Interprocess Communication source
  ☆122Updated 2 months ago
• FredTingaud / quick-bench-front-end
  Front end side of quick-bench
  ☆149Updated 10 months ago
• cs61 / cs61-lectures
  CS61 lecture material
  ☆96Updated last month
• mrkline / concurrency-primer
  The basics of low-level concurrency in a sub-30 minute read
  ☆217Updated 3 years ago
• justinmeiners / sgi-stl-docs
  Standard template library (STL) documentation from SGI. (Mirror)
  ☆42Updated 6 years ago
• FredTingaud / quick-bench-back-end
  Back end side of quick-bench
  ☆175Updated 7 months ago
• nsumner / llvm-demo
  A simple example of how LLVM can be used to gather static or dynamic facts about a program.
  ☆70Updated last year
• 13xforever / x86_64-assembly-vscode
  Visual Studio Code package with x86 and x86_64 assembly syntax support
  ☆82Updated last year
• boginw / js-y86-64
  y86-64 simulator and assembler written in Javascript.
  ☆60Updated last year
• hjl-tools / x86-psABI
  ☆389Updated 4 years ago
• lenary / abis
  Big List of ABI Resources
  ☆37Updated 6 months ago
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆51Updated 2 years ago
• preames / public-notes
  A collection of (public) notes on assorted topics
  ☆74Updated this week
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆139Updated last week
• TartanLlama / libelfin
  C++11 ELF/DWARF parser
  ☆76Updated 3 years ago
• MaiZure / coreutils-8.3
  ☆77Updated 6 years ago
• kvakil / venus
  RISC-V instruction set simulator built for education
  ☆191Updated 2 years ago
• zhengguan / 15150-1
  ☆26Updated 7 years ago
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆213Updated 4 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆285Updated 2 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆132Updated 4 years ago