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
  ☆80Updated last year
• stanford-cs242 / f18-assignments
  ☆26Updated 6 years ago
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆53Updated 4 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated last year
• 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
• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆68Updated 5 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 6 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• hellerve / ptolemy
  My reading list
  ☆84Updated 3 years ago
• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆110Updated 5 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆202Updated 3 years ago
• keean / elements_in_rust
  Algorithms and Concepts from Stepanov's "Elements of Programming" implemented in Rust
  ☆22Updated 9 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆86Updated last year
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated 2 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆39Updated 5 months ago
• codereport / Programming-Language-Meetups
  ☆20Updated 4 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
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 3 months ago
• gs0510 / rustrace
  Strace in Rust
  ☆48Updated 3 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆136Updated 5 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• pim-book / exercises
  Solutions, discussions, and approaches to the exercises
  ☆145Updated 6 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆43Updated 9 years ago
• horenmar / sudoku-example
  An example of C++ Sudoku solver using MiniSat library.
  ☆29Updated 4 years ago
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆335Updated 5 years ago
• CompSciCabal / SMRTYPRTY
  We read computer science books for fun. This is where the secret notes live.
  ☆78Updated 3 years ago
• edunham / resume
  A simple resume in LaTeX. MIT-licensed; please use and share!
  ☆110Updated last year
• lion137 / Fundamental_Algorithms
  Fundamental algorithms
  ☆93Updated 6 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago