Alternatives and similar repositories for pdr

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

• uva-reiss-cs4414 / xv6
  xv6 OS [version for Reiss's CS4414]
  ☆11Updated last year
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆95Updated 3 months ago
• lenary / abis
  Big List of ABI Resources
  ☆41Updated 10 months ago
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆290Updated 11 months ago
• banach-space / cpp-tutor
  Code examples for tutoring modern C++
  ☆94Updated this week
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆176Updated 2 years ago
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆51Updated 3 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆290Updated 2 years ago
• aaronbloomfield / pdr
  A repo for a Program and Data Representation university-level course
  ☆115Updated 2 years ago
• evanj / hugepagedemo
  Demonstrates using huge pages on Linux to improve performance (in Rust)
  ☆25Updated 8 months ago
• dddrrreee / cs140e-win19
  cs140e winter 2019 class materials.
  ☆138Updated 5 years ago
• uw-unsat / hyperkernel
  ☆183Updated 5 years ago
• sampsyo / cs6120
  advanced compilers
  ☆824Updated this week
• feamster / COS461-Public
  Princeton University COS 461: Computer Networks
  ☆177Updated 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.
  ☆66Updated 4 years ago
• boginw / js-y86-64
  y86-64 simulator and assembler written in Javascript.
  ☆60Updated last year
• MARIE-js / MARIE.js
  MARIE.js is a simple, yet intuitive MARIE simulator built in JavaScript and is used for teaching computing architecture and assembly lan…
  ☆151Updated 2 weeks ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆317Updated 3 years ago
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆382Updated this week
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆117Updated 7 months ago
• cnewstead / infdesc
  An Infinite Descent into Pure Mathematics
  ☆42Updated 4 years ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆105Updated 9 months ago
• skeeto / ptrace-examples
  Examples for Linux ptrace(2)
  ☆137Updated last year
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆112Updated 6 years ago
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆247Updated this week
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆51Updated 3 years ago
• emmatyping / cce
  commandline compiler explorer - use https://godbolt.org from your terminal!
  ☆198Updated 4 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆143Updated last month