Alternatives and similar repositories for lectures

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

• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆102Updated 10 years ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 15 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 4 months ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆86Updated last year
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆158Updated 6 years ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆20Updated 5 years ago
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆21Updated 7 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 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 6 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 6 years ago
• wbhart / Cesium3
  Fast interpreter with macros, local type inference, LLVM backend.
  ☆163Updated 7 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• kerneis / cpc
  Continuation Passing C
  ☆114Updated 6 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆28Updated 4 years ago
• sajith / cs-papers
  Ye Olde Computer Science Scrolls!
  ☆105Updated 8 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• rsms / hue
  A functional programming language
  ☆176Updated 13 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆64Updated 8 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆31Updated 13 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 13 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago