Alternatives and similar repositories for pdr

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

• boginw / js-y86-64
  y86-64 simulator and assembler written in Javascript.
  ☆62Updated last year
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆301Updated last year
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆95Updated 7 months ago
• hjl-tools / x86-psABI
  ☆391Updated 5 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆119Updated 11 months ago
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆264Updated 5 years ago
• compiler-explorer / infra
  Infrastructure to set up the public Compiler Explorer instances and compilers
  ☆381Updated this week
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆51Updated 3 years ago
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆266Updated last week
• FredTingaud / quick-bench-front-end
  Front end side of quick-bench
  ☆156Updated last year
• paulmckrcu / perfbook
  Is Parallel Programming Hard, And If So, What Can You Do About It?
  ☆466Updated last month
• ghaiklor / llvm-kaleidoscope
  LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)
  ☆264Updated 2 years ago
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆192Updated 2 years ago
• danluu / malloc-tutorial
  A quick tutorial on how to implement malloc/free/calloc/realloc
  ☆173Updated 6 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆156Updated last month
• banach-space / cpp-tutor
  Code examples for tutoring modern C++
  ☆98Updated last month
• eliben / c-unleashed-book-souce-code
  Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.
  ☆74Updated 3 years ago
• FredTingaud / quick-bench-back-end
  Back end side of quick-bench
  ☆182Updated 5 months ago
• fanf2 / unifdef
  selectively remove C preprocessor conditionals
  ☆172Updated last year
• rui314 / psabi
  ☆61Updated 2 years ago
• silkeh / docker-clang
  Dockerfiles for Clang and LLVM
  ☆107Updated last month
• lenary / abis
  Big List of ABI Resources
  ☆47Updated last year
• justinmeiners / efficient-programming-with-components
  Course notes for Alexander Stepanov's teachings on design and usage of C++ STL.
  ☆82Updated last year
• nadavrot / memset_benchmark
  This repository contains high-performance implementations of memset and memcpy in assembly.
  ☆332Updated 3 years ago
• keleshev / compiling-to-assembly-from-scratch
  Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
  ☆335Updated 4 months ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆293Updated 3 years ago
• justinmeiners / sgi-stl-docs
  Standard template library (STL) documentation from SGI. (Mirror)
  ☆42Updated 6 years ago
• preames / public-notes
  A collection of (public) notes on assorted topics
  ☆79Updated 2 weeks ago
• newOnahtaN / CS312-PrinciplesOfProgrammingLanguages
  Principles Of Programming Languages - Projects and Homeworks
  ☆72Updated 10 years ago
• sampsyo / cs6120
  advanced compilers
  ☆856Updated this week