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
  ☆99Updated 11 months ago
• boginw / js-y86-64
  y86-64 simulator and assembler written in Javascript.
  ☆63Updated last year
• hjl-tools / x86-psABI
  ☆393Updated 5 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆124Updated last year
• mrkline / concurrency-primer
  The basics of low-level concurrency in a sub-30 minute read
  ☆243Updated 4 years ago
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆284Updated last week
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆202Updated 3 years ago
• banach-space / cpp-tutor
  Code examples for tutoring modern C++
  ☆99Updated 5 months ago
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆448Updated 3 months ago
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆264Updated 5 years ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆17Updated 5 years ago
• compiler-explorer / infra
  Infrastructure to set up the public Compiler Explorer instances and compilers
  ☆397Updated last week
• paulmckrcu / perfbook
  Is Parallel Programming Hard, And If So, What Can You Do About It?
  ☆486Updated last week
• silkeh / docker-clang
  Dockerfiles for Clang and LLVM
  ☆108Updated 5 months ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆300Updated 3 years ago
• newOnahtaN / CS312-PrinciplesOfProgrammingLanguages
  Principles Of Programming Languages - Projects and Homeworks
  ☆72Updated 10 years ago
• nsumner / llvm-demo
  A simple example of how LLVM can be used to gather static or dynamic facts about a program.
  ☆73Updated 6 months ago
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆52Updated 3 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.
  ☆65Updated 5 years ago
• tibbetts / inside-c
  The Secret Life of C++: How C++ Compiles to Assembly
  ☆46Updated 10 years ago
• lorenzo-stoakes / linux-mm-notes
  Succinct notes on the linux mm subsystem.
  ☆124Updated 3 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆180Updated 3 weeks ago
• evanj / hugepagedemo
  Demonstrates using huge pages on Linux to improve performance (in Rust)
  ☆28Updated 6 months ago
• keleshev / compiling-to-assembly-from-scratch
  Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
  ☆346Updated 7 months 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.
  ☆645Updated last year
• emeryberger / Malloc-Implementations
  A collection of memory allocators
  ☆462Updated 3 months ago
• rui314 / psabi
  ☆62Updated 2 years ago
• dddrrreee / cs140e-win19
  cs140e winter 2019 class materials.
  ☆138Updated 5 years ago
• ghaiklor / llvm-kaleidoscope
  LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)
  ☆267Updated 2 years ago
• sampsyo / cs6120
  advanced compilers
  ☆886Updated this week