Alternatives and similar repositories for pdr

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

• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆68Updated 6 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆136Updated 5 years ago
• markfloryan / pdr
  A repo for a Program and Data Representation university-level course
  ☆38Updated 7 years ago
• alxn / ppearls
  Programming Pearls Prep work
  ☆100Updated 12 years ago
• kcparashar / exams
  Past Exams for UC Berkeley EECS Courses. PR more if you have!
  ☆135Updated 9 years ago
• klutometis / clrs
  Solutions to "Introduction to Algorithms" by Cormen, Leiserson, Rivest, Stein (CLRS)
  ☆44Updated 13 years ago
• wangjohn / mit-courses
  Repository of course notes and homework
  ☆433Updated 3 years ago
• esbanarango / Competitive-Programming
  My solutions from different contests and online judges.
  ☆268Updated 5 years ago
• skanev / playground
  An irrelevant project where I keep various code I wrote while learning
  ☆170Updated last month
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆315Updated last year
• uchicago-cs / cmsc12300
  CMSC 12300 - Computer Science with Applications 3
  ☆74Updated 9 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆43Updated 9 years ago
• edunham / resume
  A simple resume in LaTeX. MIT-licensed; please use and share!
  ☆111Updated last year
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 7 years ago
• gduarte / blog
  Many But Finite
  ☆51Updated 5 years ago
• zacharydenton / euler
  Project Euler solutions in Python, Haskell, Ruby, Rust, and more.
  ☆151Updated 10 months ago
• AllenDowney / ThinkOS
  Text and supporting code for Think OS: A Brief Introduction to Operating Systems, by Allen Downey.
  ☆567Updated 5 years ago
• tristanguigue / dynamic-programming
  A collection of interesting dynamic programming problems
  ☆182Updated 3 years ago
• angrave / SystemProgrammingProjects
  System Programming Project Ideas and Information for honors students
  ☆20Updated 10 years ago
• KirarinSnow / Google-Code-Jam
  Collected solutions to Google Code Jam problems by KirarinSnow
  ☆85Updated 11 years ago
• sitz / JobPuzzles
  Solutions to hiring programming challenges of top companies
  ☆228Updated 9 years ago
• t3nsor / quora-backup
  Python scripts to download Quora answers and convert them into a more portable form
  ☆127Updated 5 years ago
• shihyu / CSAPP2e
  ☆225Updated 12 years ago
• xennygrimmato / Data-Structures-and-Algorithms
  A collection of some implementations of data structures and algorithms.
  ☆111Updated last year
• pauek / norvig-sudoku
  Norvig's Sudoku solver in C++
  ☆65Updated 4 years ago
• b-k / 21st-Century-Examples
  Examples for _21st Century C_ by Ben Klemens
  ☆359Updated 5 years ago
• danluu / malloc-tutorial
  A quick tutorial on how to implement malloc/free/calloc/realloc
  ☆176Updated 6 years ago
• patricklam / p4p-2015
  ECE 459: Programming for Performance, Winter 2015
  ☆72Updated 10 years ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated last week
• coccinelle / coccinellery
  ☆114Updated last year