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 9 months ago
• banach-space / cpp-tutor
  Code examples for tutoring modern C++
  ☆99Updated 3 months ago
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆280Updated this week
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆306Updated last year
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆122Updated last year
• boginw / js-y86-64
  y86-64 simulator and assembler written in Javascript.
  ☆62Updated last year
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆215Updated 2 years ago
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆52Updated 3 years ago
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆265Updated 5 years ago
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆255Updated 5 years ago
• reberhardt7 / cplayground
  ☆123Updated 2 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆158Updated 3 weeks ago
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆197Updated 2 years ago
• nsumner / llvm-demo
  A simple example of how LLVM can be used to gather static or dynamic facts about a program.
  ☆73Updated 4 months ago
• mrkline / concurrency-primer
  The basics of low-level concurrency in a sub-30 minute read
  ☆242Updated 4 years ago
• compiler-explorer / infra
  Infrastructure to set up the public Compiler Explorer instances and compilers
  ☆390Updated this week
• dougallj / applecpu
  Apple Firestorm/Icestorm CPU microarchitecture docs
  ☆245Updated 2 years ago
• silkeh / docker-clang
  Dockerfiles for Clang and LLVM
  ☆108Updated 3 months ago
• preames / public-notes
  A collection of (public) notes on assorted topics
  ☆79Updated 2 months ago
• remzi-arpacidusseau / ostep-typos
  ☆50Updated 2 years ago
• paulmckrcu / perfbook
  Is Parallel Programming Hard, And If So, What Can You Do About It?
  ☆475Updated this week
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆145Updated 5 years ago
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆428Updated last month
• Babtsov / jos
  Detailed solutions to assignments of MIT's Operating Systems Engineering course
  ☆55Updated last year
• rui314 / psabi
  ☆61Updated 2 years ago
• lenary / abis
  Big List of ABI Resources
  ☆52Updated last year
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆106Updated last year
• hjl-tools / x86-psABI
  ☆391Updated 5 years ago
• sampsyo / cs6120
  advanced compilers
  ☆872Updated last week
• nadavrot / memset_benchmark
  This repository contains high-performance implementations of memset and memcpy in assembly.
  ☆336Updated 3 years ago