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 9 years ago
• stanford-cs242 / f18-assignments
  ☆25Updated 6 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆102Updated 10 years ago
• petermichaux / royal-scheme
  Royal Scheme will eventually grow to be a real, usable, embeddable Scheme implemented in ANSI C.
  ☆77Updated 12 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• mflatt / jit-demo
  ☆65Updated 8 years ago
• nelhage / bemu
  A just-in-time compiler for MIT 6.004's "Beta" processor.
  ☆40Updated 10 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 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
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 6 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆85Updated last year
• munificent / lark
  The Lark programming language.
  ☆58Updated 15 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆25Updated 10 years ago
• mikea / scheme-llvm
  ☆44Updated 8 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆31Updated 13 years ago
• overminder / sanya-jit
  Let's (possibly) build a JIT!
  ☆28Updated last year
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆27Updated 4 years ago
• sajith / cs-papers
  Ye Olde Computer Science Scrolls!
  ☆104Updated 8 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆20Updated 9 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆63Updated 8 years ago
• kerneis / cpc
  Continuation Passing C
  ☆113Updated 6 years ago
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆51Updated last week
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 6 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• eliben / luz-cpu
  Educational open-source CPU suite (with assembler, linker and simulator)
  ☆175Updated last year