Alternatives and similar repositories for pdr:

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

• thomaspinckney3 / cs4501
  Materials for this semesters Internet Scale Applications
  ☆85Updated 4 years ago
• hellerve / ptolemy
  My reading list
  ☆81Updated 2 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆132Updated 4 years ago
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆50Updated 3 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆169Updated 2 months ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 8 years ago
• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆66Updated 5 years ago
• j2kun / essays
  Short essays I've written
  ☆76Updated last year
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆198Updated 2 years ago
• papers-we-love / zurich
  Papers We ❤️ Zurich
  ☆50Updated 5 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 7 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆49Updated this week
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 4 years ago
• johnwhitington / ocaml-from-very-beginning-exercises
  Examples and exercises for the OCaml Book "OCaml from the Very Beginning"
  ☆34Updated 2 years ago
• aaronbloomfield / pdr
  A repo for a Program and Data Representation university-level course
  ☆115Updated 2 years ago
• regehr / guided-tree-search
  heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape
  ☆12Updated last year
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 3 years ago
• xmonkee / rusttracer
  A Raytracer written in the Rust Language
  ☆16Updated 7 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆121Updated 4 years ago
• Bradfield / algos
  Algorithms and Data Structures book
  ☆186Updated last year
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• jeanqasaur / against-junior-faculty-stress
  ☆67Updated 7 years ago
• stanfordhaskell / cs43
  Course materials for Stanford's CS43: Functional Programming Paradigms
  ☆30Updated 4 years ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆214Updated 5 years ago
• anwarmamat / cmsc330spring18-public
  ☆18Updated 6 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆155Updated 4 years ago
• CompSciCabal / reading-material
  Reading schedule and our library of pdfs
  ☆24Updated 5 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆36Updated 7 months ago