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
  ☆78Updated last year
• aaronbloomfield / pdr
  A repo for a Program and Data Representation university-level course
  ☆115Updated 2 years ago
• thomaspinckney3 / cs4501
  Materials for this semesters Internet Scale Applications
  ☆86Updated 5 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆155Updated 5 years ago
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆51Updated 3 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 `λ!`.
  ☆85Updated last year
• cobusve / TLAPLUS_DeadlockEmpire
  Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC
  ☆22Updated 6 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆59Updated 5 years ago
• 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
• nu-rust-course / code
  Code that we write in class.
  ☆28Updated 4 years ago
• codereport / Programming-Language-Meetups
  ☆20Updated 4 years ago
• lkuper / CMPS290S-2018-09
  A graduate seminar on languages and abstractions for distributed programming
  ☆19Updated 2 years ago
• stanford-cs242 / f18-assignments
  ☆24Updated 6 years ago
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆94Updated last year
• kedlaya / math157
  ☆42Updated 4 years ago
• stanfordhaskell / cs43
  Course materials for Stanford's CS43: Functional Programming Paradigms
  ☆31Updated 5 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated last year
• rtoal / ple
  Programming Language Explorations
  ☆94Updated 2 weeks ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆172Updated 6 months ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• janestreet / install-ocaml
  Instructions for setting up an OCaml development environment
  ☆97Updated 5 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆46Updated 6 years ago
• horenmar / sudoku-example
  An example of C++ Sudoku solver using MiniSat library.
  ☆29Updated 4 years ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago