Alternatives and similar repositories for pdr

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

• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆66Updated 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.
  ☆216Updated 6 years ago
• stanford-cs242 / f18-assignments
  ☆24Updated 6 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆133Updated 5 years ago
• j2kun / essays
  Short essays I've written
  ☆79Updated last year
• aaronbloomfield / pdr
  A repo for a Program and Data Representation university-level course
  ☆116Updated 2 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
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆51Updated 3 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆302Updated this week
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 3 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 3 weeks ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• sanjoy / echoes
  ☆21Updated 8 years ago
• horenmar / sudoku-example
  An example of C++ Sudoku solver using MiniSat library.
  ☆29Updated 4 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆123Updated 5 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆172Updated 7 months ago
• zx9w / read-together
  Organize remote meetings for reading computer science papers
  ☆33Updated 5 years ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆100Updated 8 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆221Updated 2 years ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆124Updated last year
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆187Updated 3 months ago