Alternatives and similar repositories for pdr:

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

• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆117Updated 6 months ago
• uva-reiss-cs4414 / xv6
  xv6 OS [version for Reiss's CS4414]
  ☆11Updated last year
• remzi-arpacidusseau / ostep-typos
  ☆51Updated last year
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆95Updated 3 months ago
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆257Updated 4 years ago
• cs61 / cs61-lectures
  CS61 lecture material
  ☆96Updated 4 months ago
• eliben / c-unleashed-book-souce-code
  Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.
  ☆73Updated 3 years ago
• lenary / abis
  Big List of ABI Resources
  ☆41Updated 9 months ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆14Updated 4 years ago
• snikulov / prog_posix_threads
  Source code from "Programming with POSIX® Threads" book By David R. Butenhof
  ☆90Updated 13 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆288Updated 2 years ago
• rui314 / psabi
  ☆58Updated 2 years ago
• vijay03 / cs360v-f20
  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆66Updated 4 years ago
• boginw / js-y86-64
  y86-64 simulator and assembler written in Javascript.
  ☆60Updated last year
• reberhardt7 / cplayground
  ☆123Updated 2 years ago
• uw-unsat / hyperkernel
  ☆182Updated 5 years ago
• sysprog21 / y86_64-tools
  Y86-64 Tools: assembler, simulator, Verilog designs
  ☆17Updated 6 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆148Updated 3 weeks ago
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆288Updated 10 months ago
• victorpoughon / cppiceberg
  The C++ Iceberg
  ☆55Updated 4 months ago
• 13xforever / x86_64-assembly-vscode
  Visual Studio Code package with x86 and x86_64 assembly syntax support
  ☆83Updated last year
• mdadams / cppbook_companion
  C++ Book Companion Repository (With Code Examples and Exercises)
  ☆117Updated 7 months ago
• nullpo-head / xv6-mips
  A MIPS port of xv6
  ☆72Updated 9 years ago
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆175Updated 2 years ago
• danluu / malloc-tutorial
  A quick tutorial on how to implement malloc/free/calloc/realloc
  ☆172Updated 5 years ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆139Updated 4 years ago
• nadavrot / memset_benchmark
  This repository contains high-performance implementations of memset and memcpy in assembly.
  ☆328Updated 3 years ago
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆50Updated 3 years ago
• Booob / P523
  P523 Code
  ☆27Updated 10 years ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆52Updated last month