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
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆50Updated 3 years ago
• j2kun / essays
  Short essays I've written
  ☆75Updated 10 months ago
• stanford-cs242 / f18-assignments
  ☆22Updated 5 years ago
• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆66Updated 4 years ago
• thomaspinckney3 / cs4501
  Materials for this semesters Internet Scale Applications
  ☆85Updated 4 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 5 years ago
• keean / elements_in_rust
  Algorithms and Concepts from Stepanov's "Elements of Programming" implemented in Rust
  ☆22Updated 8 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
• compilers-course-materials / cs75-s16-lectures
  ☆41Updated 8 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆83Updated 6 months ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆131Updated 4 years ago
• johnwhitington / ocaml-from-very-beginning-exercises
  Examples and exercises for the OCaml Book "OCaml from the Very Beginning"
  ☆34Updated 2 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆165Updated 3 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆48Updated last month
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆42Updated 3 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆129Updated 6 years ago
• lion137 / Fundamental_Algorithms
  Fundamental algorithms
  ☆93Updated 5 years ago
• ucsd-cse131-sp17 / lectures
  Lecture notes and code from class
  ☆15Updated 7 years ago
• bshlgrs / data-structure-composer
  Automatically choosing fast data structures!
  ☆38Updated 7 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 5 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
• AtheMathmo / toy-os
  Building a toy OS in Rust.
  ☆12Updated 8 years ago
• cobusve / TLAPLUS_DeadlockEmpire
  Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC
  ☆22Updated 5 years ago
• uva-cs / pdr
  A repo for a Program and Data Representation university-level course
  ☆91Updated last year
• ops-class / www
  www.ops-class.org static website sources, including assignments, guides, slides, and course-specific materials.
  ☆91Updated 7 years ago
• nu-rust-course / code
  Code that we write in class.
  ☆28Updated 3 years ago