Alternatives and similar repositories for lectures:

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

• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 8 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆60Updated 9 years ago
• muratdem / HLC
  ☆14Updated 7 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 14 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 9 years ago
• gasche / popl2014-papers
  ☆73Updated 11 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• polybuildr / balloon-lang
  The Balloon programming language and interpreter.
  ☆17Updated 7 years ago
• mit-pdos / 6.826-2017-labs
  ☆13Updated 7 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• xnning / Dissertation
  My PhD Thesis
  ☆13Updated 3 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆20Updated 9 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆104Updated 9 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆72Updated 7 months ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• bl0ckeduser / new-bpf-tools
  subset-of-C compiler targeting 32-bit x86
  ☆115Updated last year
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆35Updated 8 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆63Updated 7 years ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 7 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 5 years ago
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆49Updated 2 years ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• overminder / sanya-jit
  Let's (possibly) build a JIT!
  ☆29Updated last year
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆77Updated 2 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• rikusalminen / funfun
  A funny toy programming language project
  ☆29Updated 12 years ago