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 6 years ago
• Berkeley-CS61B / skeleton-sp16
  ☆45Updated 5 years ago
• thomaspinckney3 / cs4501
  Materials for this semesters Internet Scale Applications
  ☆86Updated 5 years ago
• vijay03 / cs380d-s21
  UT Austin CS 380D Distributed Systems with Vijay Chidambaram
  ☆20Updated 4 years ago
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated last year
• meteorfox / performance-engineering
  A reading/viewing list about the theory and practice of performance engineering
  ☆31Updated 5 years ago
• johnwhitington / ocaml-from-very-beginning-exercises
  Examples and exercises for the OCaml Book "OCaml from the Very Beginning"
  ☆34Updated 3 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆133Updated 4 years ago
• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆66Updated 5 years ago
• vijay03 / cs378-f19
  Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept
  ☆40Updated 5 years ago
• Ajwah / Programming-Languages
  Coursera Course Dan Grossman - (SML - Dr Racket - Ruby) + all other SML assignments from University of Washington
  ☆9Updated 9 years ago
• mit-pdos / 6.826-2017-labs
  ☆13Updated 7 years ago
• klutometis / clrs
  Solutions to "Introduction to Algorithms" by Cormen, Leiserson, Rivest, Stein (CLRS)
  ☆44Updated 12 years ago
• KirarinSnow / Google-Code-Jam
  Collected solutions to Google Code Jam problems by KirarinSnow
  ☆85Updated 10 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
• UWSysLab / diamond
  Diamond reactive programming platform
  ☆25Updated 2 years ago
• stanford-futuredata / cs145-2017
  ☆44Updated 7 years ago
• feamster / COS461-Public
  Princeton University COS 461: Computer Networks
  ☆177Updated 3 years ago
• aistrate / HackersDelight
  Code from the book "Hacker's Delight" by Henry S. Warren, Jr. (original and my own modifications).
  ☆25Updated 14 years ago
• dave-andersen / coursegen
  Course web page generator framework
  ☆28Updated 12 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• nelhage / bemu
  A just-in-time compiler for MIT 6.004's "Beta" processor.
  ☆40Updated 10 years ago
• warwickwang / For-Daniel---A.I.-pdf-
  A.I. pdf
  ☆17Updated 8 years ago
• swapnil-pimpale / lock-free-BST
  ☆10Updated 9 years ago
• palvaro / CMPS128-Spring16
  Course site for CMPS128, Spring 2016
  ☆13Updated 8 years ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆95Updated 3 months ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• cmu-db / peloton-test
  SQL Testing Framework for the Peloton DBMS
  ☆20Updated 7 years ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated last week
• danluu / malloc-tutorial
  A quick tutorial on how to implement malloc/free/calloc/realloc
  ☆172Updated 5 years ago