markfloryan / pdr

Related projects ⓘ

Alternatives and complementary repositories for pdr

• aaronbloomfield / pdr
  A repo for a Program and Data Representation university-level course
  ☆114Updated last year
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated 10 months ago
• stanford-cs242 / f18-assignments
  ☆22Updated 5 years ago
• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆66Updated 4 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
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆37Updated 2 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 7 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 6 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆41Updated 8 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• pkrumins / busy-beaver
  Implementation of a Turing Machine that runs the Busy Beaver programs.
  ☆20Updated 14 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 5 years ago
• leegao / BullshitMath.lol
  You can't do that! Can you?
  ☆22Updated 7 years ago
• briandfoy / excellent_numbers
  Compute excellent numbers
  ☆9Updated 6 months ago
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆58Updated 3 years ago
• parrt / cs345
  CS345 Programming Languages at University of San Francisco
  ☆19Updated 8 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 5 years ago
• sinistersnare / SinScheme
  Sinister's Scheme Compiler!
  ☆24Updated 2 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆158Updated 5 years ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 4 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 3 years ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆106Updated 8 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆112Updated 6 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• lkuper / CMPS290S-2018-09
  A graduate seminar on languages and abstractions for distributed programming
  ☆19Updated 2 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆83Updated 6 months 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
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• antoyo / tiger-rs
  Rust implementation of the projects from the book Modern Compiler Implementation in ML
  ☆139Updated this week
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆131Updated 4 years ago