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
• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆66Updated 5 years ago
• uva-cs / pdr
  A repo for a Program and Data Representation university-level course
  ☆91Updated 2 years ago
• Berkeley-CS61B / skeleton-sp16
  ☆45Updated 5 years ago
• warwickwang / For-Daniel---A.I.-pdf-
  A.I. pdf
  ☆17Updated 8 years ago
• klutometis / clrs
  Solutions to "Introduction to Algorithms" by Cormen, Leiserson, Rivest, Stein (CLRS)
  ☆44Updated 12 years ago
• vijay03 / cs378-f19
  Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept
  ☆40Updated 5 years ago
• anthezium / CS510-Advanced-Topics-in-Concurrency
  CS510 Advanced Topics in Concurrency Project
  ☆15Updated 4 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆112Updated 4 months ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 8 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
• Berkeley-CS61B / lectureCode-sp15
  Code developed in lecture. Starter code if you want to try to do what I did.
  ☆38Updated 9 years ago
• hugopeixoto / mergesort
  Mergesort implemented in different languages
  ☆52Updated 3 years ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆92Updated last year
• patricklam / p4p-2015
  ECE 459: Programming for Performance, Winter 2015
  ☆72Updated 9 years ago
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated last year
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆59Updated 5 years ago
• CompSciCabal / SMRTYPRTY
  We read computer science books for fun. This is where the secret notes live.
  ☆78Updated 3 years ago
• cirosantilli / algorithm-cheat
  MOVING TO: https://cirosantilli.com/linux-kernel-module-cheat/#algorithms see README. Algorithm tutorials and simple multi-language imple…
  ☆79Updated 5 years ago
• alinush / 6.858-lecture-notes
  6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)
  ☆44Updated 6 years ago
• thomaspinckney3 / cs4501
  Materials for this semesters Internet Scale Applications
  ☆85Updated 4 years ago
• ashrobo / Stanford-CS106B
  Solutions to Stanford Programming Abstractions
  ☆10Updated 11 years ago
• thecourseforum / theCourseForum
  theCourseForum project
  ☆24Updated 2 years ago
• yashtc / Algo1
  Homework in the Algorithms: Design and Analysis, Part 1 course offered on Coursera
  ☆38Updated 11 years ago
• kcparashar / exams
  Past Exams for UC Berkeley EECS Courses. PR more if you have!
  ☆123Updated 8 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 14 years ago
• C5T / Current
  C++ framework for realtime machine learning.
  ☆99Updated 5 months ago
• dave-andersen / coursegen
  Course web page generator framework
  ☆28Updated 12 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 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