Alternatives and similar repositories for pdr

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

• ops-class / os161
  ops-class.org OS/161 sources.
  ☆133Updated 4 years ago
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆51Updated 3 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• keean / elements_in_rust
  Algorithms and Concepts from Stepanov's "Elements of Programming" implemented in Rust
  ☆22Updated 8 years ago
• aaronbloomfield / pdr
  A repo for a Program and Data Representation university-level course
  ☆115Updated 2 years ago
• jsnell / snakebird-solver
  A brute force solver for Snakebird, a puzzle game
  ☆19Updated 6 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 years ago
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated 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 6 years ago
• janestreet / install-ocaml
  Instructions for setting up an OCaml development environment
  ☆97Updated 5 years ago
• xmonkee / rusttracer
  A Raytracer written in the Rust Language
  ☆16Updated 8 years ago
• ucsd-cse131-sp17 / lectures
  Lecture notes and code from class
  ☆15Updated 7 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆85Updated last year
• nu-rust-course / code
  Code that we write in class.
  ☆28Updated 4 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆59Updated 5 years ago
• j2kun / essays
  Short essays I've written
  ☆78Updated last year
• jdleesmiller / twenty48
  Research code for solvers and models of the game of 2048
  ☆53Updated 2 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• blumm96 / BachelorThesis_Pirotte_Vranken
  Haptic Collision Detection on Highly Complex Medical Data Structures
  ☆45Updated 7 years ago
• edunham / resume
  A simple resume in LaTeX. MIT-licensed; please use and share!
  ☆109Updated 8 months ago
• bshlgrs / data-structure-composer
  Automatically choosing fast data structures!
  ☆38Updated 7 years ago
• jaybutera / Abstract-Algebra
  A course-worth of notes
  ☆202Updated 10 months ago
• stanford-cs242 / f18-assignments
  ☆24Updated 6 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated last year
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 3 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆170Updated 5 months ago
• cis198-2016s / cis198-2016s.github.io
  ☆36Updated 8 years ago
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆220Updated last year
• gs0510 / rustrace
  Strace in Rust
  ☆48Updated 2 years ago