Alternatives and similar repositories for pdr

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

• stanford-cs242 / f18-assignments
  ☆25Updated 6 years ago
• j2kun / essays
  Short essays I've written
  ☆78Updated last year
• 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
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆125Updated last year
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• CompSciCabal / SMRTYPRTY
  We read computer science books for fun. This is where the secret notes live.
  ☆78Updated 3 years ago
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆51Updated 4 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆85Updated last year
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆114Updated 7 years 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
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆134Updated 5 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆303Updated last week
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• bshlgrs / data-structure-composer
  Automatically choosing fast data structures!
  ☆38Updated 8 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆201Updated 3 years ago
• pim-book / exercises
  Solutions, discussions, and approaches to the exercises
  ☆145Updated 6 years ago
• gs0510 / rustrace
  Strace in Rust
  ☆48Updated 3 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 2 months ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆173Updated 8 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
• codereport / Programming-Language-Meetups
  ☆20Updated 4 years ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆157Updated 4 years ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆219Updated 2 years ago
• jackfischer / andreessen
  a basic web browser from scratch
  ☆18Updated 8 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated last month