Alternatives and similar repositories for pdr:

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

• j2kun / essays
  Short essays I've written
  ☆77Updated last year
• aaronbloomfield / pdr
  A repo for a Program and Data Representation university-level course
  ☆115Updated 2 years ago
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆50Updated 3 years ago
• gamozolabs / gamozolabs.github.io
  Apparently this maybe blogs or something?
  ☆16Updated 8 months ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• codereport / Programming-Language-Meetups
  ☆19Updated 4 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 2 weeks 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
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• hellerve / ptolemy
  My reading list
  ☆82Updated 3 years ago
• stanford-cs242 / f18-assignments
  ☆24Updated 6 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• jdleesmiller / twenty48
  Research code for solvers and models of the game of 2048
  ☆53Updated 2 years ago
• thomaspinckney3 / cs4501
  Materials for this semesters Internet Scale Applications
  ☆86Updated 5 years ago
• ops-class / www
  www.ops-class.org static website sources, including assignments, guides, slides, and course-specific materials.
  ☆91Updated 7 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 5 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
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆92Updated last year
• janestreet / patdiff
  File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
  ☆228Updated 5 months ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• uva-cs / pdr
  A repo for a Program and Data Representation university-level course
  ☆90Updated 2 years ago
• blynn / morans
  Get a Brain
  ☆24Updated 5 years ago
• stanfordhaskell / cs43
  Course materials for Stanford's CS43: Functional Programming Paradigms
  ☆30Updated 5 years ago
• katychuang / getting-started-with-haskell
  notes on where to find Haskell tutorials and tips to complete them
  ☆119Updated 6 years ago