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 last year
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆268Updated 5 years ago
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆315Updated last year
• hjl-tools / x86-psABI
  ☆395Updated 5 years ago
• mrkline / concurrency-primer
  The basics of low-level concurrency in a sub-30 minute read
  ☆245Updated 4 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆124Updated last year
• paulmckrcu / perfbook
  Is Parallel Programming Hard, And If So, What Can You Do About It?
  ☆498Updated this week
• dddrrreee / cs240lx-20spr
  course materials for cs240lx @ stanford
  ☆21Updated 5 years ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆222Updated 3 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆137Updated 5 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆301Updated 3 years ago
• banach-space / cpp-tutor
  Code examples for tutoring modern C++
  ☆99Updated 6 months ago
• beejjorgensen / bgipc
  Beej's Guide to Unix Interprocess Communication source
  ☆151Updated last week
• boginw / js-y86-64
  y86-64 simulator and assembler written in Javascript.
  ☆63Updated 2 years ago
• dddrrreee / cs140e-win19
  cs140e winter 2019 class materials.
  ☆138Updated 6 years ago
• ghaiklor / llvm-kaleidoscope
  LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)
  ☆270Updated 3 years ago
• ThaumicMekanism / venus
  RISC-V instruction set simulator built for education
  ☆160Updated 3 years ago
• sampsyo / cs6120
  advanced compilers
  ☆891Updated 3 weeks 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.
  ☆649Updated last week
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆204Updated 3 years ago
• feamster / COS461-Public
  Princeton University COS 461: Computer Networks
  ☆189Updated 4 years ago
• cs61 / cs61-lectures
  CS61 lecture material
  ☆103Updated 2 months ago
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆289Updated this week
• newOnahtaN / CS312-PrinciplesOfProgrammingLanguages
  Principles Of Programming Languages - Projects and Homeworks
  ☆73Updated 10 years ago
• BenBrock / reple
  "Replay-based" REPLs for compiled languages.
  ☆318Updated 3 years ago
• compiler-explorer / infra
  Infrastructure to set up the public Compiler Explorer instances and compilers
  ☆402Updated this week
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆52Updated 3 years ago
• nadavrot / memset_benchmark
  This repository contains high-performance implementations of memset and memcpy in assembly.
  ☆341Updated 4 years ago
• lenary / abis
  Big List of ABI Resources
  ☆56Updated last year
• mit-pdos / xv6-riscv-book
  Text describing xv6 on RISC-V
  ☆833Updated 5 months ago