Alternatives and similar repositories for pdr

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

• markfloryan / pdr
  A repo for a Program and Data Representation university-level course
  ☆38Updated 7 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆136Updated 5 years ago
• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆68Updated 5 years ago
• kcparashar / exams
  Past Exams for UC Berkeley EECS Courses. PR more if you have!
  ☆134Updated 9 years ago
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆307Updated last year
• AllenDowney / ThinkOS
  Text and supporting code for Think OS: A Brief Introduction to Operating Systems, by Allen Downey.
  ☆565Updated 5 years ago
• jschauma / cs631apue
  Stevens Institute of Technology - CS631 Advanced Programming in the UNIX Environment
  ☆225Updated last month
• colohan / dschat
  AppEngine hosted chat server. Example for the distributed systems class at www.distributedsystemscourse.com
  ☆155Updated 5 years ago
• feamster / COS461-Public
  Princeton University COS 461: Computer Networks
  ☆189Updated 4 years ago
• alxn / ppearls
  Programming Pearls Prep work
  ☆100Updated 12 years ago
• patricklam / p4p-2015
  ECE 459: Programming for Performance, Winter 2015
  ☆71Updated 10 years ago
• dspinellis / effective-debugging
  Code examples used in the book Effective Debugging (Addison-Wesley, 2016)
  ☆52Updated 6 years ago
• stanford-futuredata / cs145-2017
  ☆44Updated 7 years ago
• klutometis / clrs
  Solutions to "Introduction to Algorithms" by Cormen, Leiserson, Rivest, Stein (CLRS)
  ☆44Updated 12 years ago
• lovincyrus / university-cs-resources
  A curated list of University CS Resources
  ☆65Updated 8 years ago
• Berkeley-CS61B / skeleton-sp16
  ☆46Updated 6 years ago
• skanev / playground
  An irrelevant project where I keep various code I wrote while learning
  ☆169Updated 8 months ago
• meteorfox / performance-engineering
  A reading/viewing list about the theory and practice of performance engineering
  ☆31Updated 6 years ago
• danluu / malloc-tutorial
  A quick tutorial on how to implement malloc/free/calloc/realloc
  ☆174Updated 6 years ago
• vacuum / study
  to keep my study materials
  ☆81Updated 15 years ago
• wangjohn / mit-courses
  Repository of course notes and homework
  ☆426Updated 3 years ago
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 6 years ago
• jeanqasaur / jeeves
  Python implementation of the Jeeves programming language.
  ☆338Updated 7 years ago
• xennygrimmato / Data-Structures-and-Algorithms
  A collection of some implementations of data structures and algorithms.
  ☆109Updated last year
• esbanarango / Competitive-Programming
  My solutions from different contests and online judges.
  ☆268Updated 5 years ago
• ucsd-cse131-sp17 / lectures
  Lecture notes and code from class
  ☆16Updated 8 years ago
• uchicago-cs / cmsc12300
  CMSC 12300 - Computer Science with Applications 3
  ☆74Updated 8 years ago
• AllenDowney / Swampy
  Code for Swampy, a set of modules used in Think Python, first edition
  ☆92Updated 6 years ago
• cirosantilli / algorithm-cheat
  MOVING TO: https://cirosantilli.com/linux-kernel-module-cheat/#algorithms see README. Algorithm tutorials and simple multi-language imple…
  ☆81Updated 6 years ago
• yinyanghu / CLRS-Solutions
  Solutions to "Introduction to Algorithm, 3rd Edition"
  ☆293Updated 11 years ago