Alternatives and similar repositories for pdr:

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

• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• jdleesmiller / twenty48
  Research code for solvers and models of the game of 2048
  ☆53Updated 2 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆84Updated 10 months ago
• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆66Updated 5 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• j2kun / essays
  Short essays I've written
  ☆75Updated 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
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 2 weeks ago
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆50Updated 3 years ago
• stanford-cs242 / f18-assignments
  ☆24Updated 6 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
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• johnwhitington / ocaml-from-very-beginning-exercises
  Examples and exercises for the OCaml Book "OCaml from the Very Beginning"
  ☆34Updated 3 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• briandfoy / excellent_numbers
  Compute excellent numbers
  ☆9Updated 10 months ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆218Updated last year
• nu-rust-course / code
  Code that we write in class.
  ☆28Updated 3 years ago
• aaronbloomfield / pdr
  A repo for a Program and Data Representation university-level course
  ☆115Updated 2 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• jaybutera / Abstract-Algebra
  A course-worth of notes
  ☆202Updated 8 months ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆199Updated 3 years ago
• CompSciCabal / SMRTYPRTY
  We read computer science books for fun. This is where the secret notes live.
  ☆78Updated 3 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 7 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• jvns / snake.rs
  snake in Rust!
  ☆51Updated 7 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆155Updated 4 years ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆92Updated last year
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• toidiu / learn-rust
  ☆355Updated 6 years ago