Alternatives and similar repositories for pdr

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

• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆53Updated 4 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 7 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
• aaronbloomfield / pdr
  A repo for a Program and Data Representation university-level course
  ☆121Updated 3 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆43Updated 9 years ago
• edunham / resume
  A simple resume in LaTeX. MIT-licensed; please use and share!
  ☆111Updated last year
• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆68Updated 6 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆136Updated 5 years ago
• diegomacario / Super-Sunshine
  A ray-tracer with a simple scene description language for easily generating beautiful images.
  ☆121Updated 2 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 9 years ago
• stanford-cs242 / f18-assignments
  ☆26Updated 7 years ago
• jackfischer / andreessen
  a basic web browser from scratch
  ☆18Updated 8 years ago
• ftripier / spookyc
  A compiler for the 🎃 Spooky 😱 programming language 👻
  ☆151Updated 7 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆40Updated 7 months 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
• hellerve / ptolemy
  My reading list
  ☆85Updated 3 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆53Updated 2 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated last year
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆157Updated 5 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆60Updated 6 years ago
• johnwhitington / ocaml-from-very-beginning-exercises
  Examples and exercises for the OCaml Book "OCaml from the Very Beginning"
  ☆35Updated 3 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆173Updated last month
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆160Updated 4 years ago
• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆110Updated 5 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 8 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 5 months ago
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆334Updated 5 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆310Updated 2 weeks ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆160Updated 6 years ago