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 14 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 5 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆70Updated 8 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆63Updated 8 years ago
• dagit / Cyclone-Language
  My branch of the Cyclone programming language
  ☆19Updated 14 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆72Updated 5 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆26Updated 2 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆85Updated last year
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 6 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• prikhi / modern-compiler-implementation-ml
  Tiger Compiler from Modern Compiler Implementation in ML
  ☆24Updated 8 years ago
• overminder / sanya-jit
  Let's (possibly) build a JIT!
  ☆29Updated last year
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 7 years ago
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆57Updated 10 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆64Updated this week
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆34Updated 5 years ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆20Updated 5 years ago
• kentdlee / MLComp
  A Compiler and Type Inference System for a subset of Standard ML called Small.
  ☆13Updated 8 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• clnhlzmn / CopperKitten
  An exercise in programming language design and implementation.
  ☆19Updated 3 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 6 years ago