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
  ☆100Updated last year
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆268Updated 5 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆126Updated last year
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆315Updated last year
• hjl-tools / x86-psABI
  ☆395Updated 5 years ago
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆204Updated 3 years ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆223Updated 3 years ago
• boginw / js-y86-64
  y86-64 simulator and assembler written in Javascript.
  ☆63Updated 2 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆301Updated 3 years ago
• dddrrreee / cs140e-win19
  cs140e winter 2019 class materials.
  ☆138Updated 6 years ago
• mrkline / concurrency-primer
  The basics of low-level concurrency in a sub-30 minute read
  ☆245Updated 4 years ago
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆289Updated this week
• TartanLlama / minidbg
  A mini x86 linux debugger for teaching purposes
  ☆647Updated last year
• sampsyo / cs6120
  advanced compilers
  ☆890Updated last month
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆136Updated 5 years ago
• ethanhe42 / Modern-Compiler-Implementation-in-C
  book and codes for Modern Compiler Implementation in C
  ☆395Updated last year
• cs61 / cs61-lectures
  CS61 lecture material
  ☆103Updated 2 months ago
• banach-space / cpp-tutor
  Code examples for tutoring modern C++
  ☆99Updated 6 months ago
• mdadams / cppbook_companion
  C++ Book Companion Repository (With Code Examples and Exercises)
  ☆120Updated 8 months ago
• ghaiklor / llvm-kaleidoscope
  LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)
  ☆268Updated 3 years ago
• rui314 / psabi
  ☆62Updated 3 years ago
• ahupowerdns / hello-cpp
  C++ for C programmers
  ☆75Updated 7 years ago
• pmem / valgrind
  Enhanced Valgrind for Persistent Memory
  ☆113Updated last year
• justinmeiners / sgi-stl-docs
  Standard template library (STL) documentation from SGI. (Mirror)
  ☆42Updated 7 years ago
• snikulov / prog_posix_threads
  Source code from "Programming with POSIX® Threads" book By David R. Butenhof
  ☆96Updated 13 years ago
• evanj / hugepagedemo
  Demonstrates using huge pages on Linux to improve performance (in Rust)
  ☆29Updated 8 months ago
• TartanLlama / libelfin
  C++11 ELF/DWARF parser
  ☆80Updated 5 years ago
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆52Updated 3 years ago
• lenary / abis
  Big List of ABI Resources
  ☆56Updated last year
• reberhardt7 / cplayground
  ☆124Updated 3 years ago