Alternatives and similar repositories for pdr:

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

• Hackathon-Hackers / awesome-courses
  List of awesome university courses for learning Computer Science!
  ☆34Updated 8 years ago
• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆66Updated 5 years ago
• klutometis / clrs
  Solutions to "Introduction to Algorithms" by Cormen, Leiserson, Rivest, Stein (CLRS)
  ☆43Updated 11 years ago
• uva-cs / pdr
  A repo for a Program and Data Representation university-level course
  ☆91Updated 2 years ago
• thomaspinckney3 / cs4501
  Materials for this semesters Internet Scale Applications
  ☆85Updated 4 years ago
• mpu / gthreads-art
  A green threads tutorial.
  ☆62Updated 7 years ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated this week
• yashtc / Algo1
  Homework in the Algorithms: Design and Analysis, Part 1 course offered on Coursera
  ☆38Updated 11 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
• shreyaspalekar / Database-System-Implementation
  Course Project COP6726-Database System Implementation
  ☆13Updated 10 years ago
• utsaslab / optfs
  The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…
  ☆33Updated 11 years ago
• briangu / chearch
  Chearch is a simple search engine written in Cray's Chapel language.
  ☆32Updated 3 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• patricklam / p4p-2015
  ECE 459: Programming for Performance, Winter 2015
  ☆72Updated 9 years ago
• rpasta42 / LambdaOxide
  Lisp interpreter written in rust
  ☆14Updated 7 years ago
• mackstann / hash-table-shootout
  A benchmark of some prominent C/C++ hash table implementations
  ☆103Updated 5 years ago
• piaw / google-gtags
  Automatically exported from code.google.com/p/google-gtags
  ☆19Updated 9 years ago
• mwilliams / lcthw-book
  Text version of Zed Shaw's Learn C the Hard Way
  ☆25Updated 12 years ago
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated last year
• vijay03 / cs378-f19
  Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept
  ☆41Updated 5 years ago
• thecourseforum / theCourseForum
  theCourseForum project
  ☆24Updated 2 years ago
• gregkh / kernel-history
  Linux kernel history logs and stats
  ☆110Updated 5 months ago
• v / sniper
  A web application that watches a class at Rutgers and notifies you when it opens up.
  ☆58Updated 6 years ago
• NatashaTheRobot / Stanford-CS-106A
  Women Learning Code references
  ☆325Updated 10 years ago
• nelhage / bemu
  A just-in-time compiler for MIT 6.004's "Beta" processor.
  ☆38Updated 9 years ago
• rpclib / benchmarks
  ☆25Updated 7 years ago
• github / mentorships
  GitHub Open Source Mentorships (deprecated)
  ☆335Updated 7 years ago
• uchicago-cs / cmsc12300
  CMSC 12300 - Computer Science with Applications 3
  ☆74Updated 8 years ago
• buntine / Simply-Scheme-Exercises
  All of the exercises (and their solutions!) from the Berkeley textbook Simply Scheme.
  ☆113Updated 7 years ago
• stephentu / scalex
  Code snippets for the workshop on concurrent data structure implementation.
  ☆31Updated 11 years ago