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
  ☆95Updated 6 months ago
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆299Updated last year
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆262Updated 5 years ago
• hjl-tools / x86-psABI
  ☆391Updated 5 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆119Updated 10 months ago
• boginw / js-y86-64
  y86-64 simulator and assembler written in Javascript.
  ☆62Updated last year
• ridiculousfish / cdecl-blocks
  The venerable cdecl, with Apple blocks support
  ☆1,059Updated last year
• compiler-explorer / infra
  Infrastructure to set up the public Compiler Explorer instances and compilers
  ☆379Updated this week
• sampsyo / cs6120
  advanced compilers
  ☆848Updated last month
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆416Updated 8 months ago
• reberhardt7 / cplayground
  ☆123Updated 2 years ago
• paulmckrcu / perfbook
  Is Parallel Programming Hard, And If So, What Can You Do About It?
  ☆462Updated last week
• Jonathan2251 / lbd
  ☆380Updated this week
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆134Updated 5 years ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆15Updated 4 years ago
• ghaiklor / llvm-kaleidoscope
  LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)
  ☆264Updated 2 years ago
• f0rki / mapping-high-level-constructs-to-llvm-ir
  A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.
  ☆629Updated 9 months ago
• dddrrreee / cs140e-win19
  cs140e winter 2019 class materials.
  ☆138Updated 5 years ago
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆191Updated 2 years ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆105Updated last year
• ThaumicMekanism / venus
  RISC-V instruction set simulator built for education
  ☆158Updated 2 years ago
• banach-space / cpp-tutor
  Code examples for tutoring modern C++
  ☆98Updated 3 weeks ago
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆51Updated 3 years ago
• mrkline / concurrency-primer
  The basics of low-level concurrency in a sub-30 minute read
  ☆240Updated 4 years ago
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆266Updated this week
• TartanLlama / minidbg
  A mini x86 linux debugger for teaching purposes
  ☆640Updated last year
• cs61 / cs61-lectures
  CS61 lecture material
  ☆98Updated 8 months ago
• lenary / abis
  Big List of ABI Resources
  ☆46Updated last year
• banach-space / clang-tutor
  A collection of out-of-tree Clang plugins for teaching and learning
  ☆739Updated 3 months ago
• yyqian / csapp-labs
  Labs for self-study: Computer Systems: A Programmer's Perspective, 3/E (CS:APP3e)
  ☆52Updated 6 years ago