Alternatives and similar repositories for lectures

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

• munificent / lark
  The Lark programming language.
  ☆58Updated 14 years ago
• overminder / sanya-jit
  Let's (possibly) build a JIT!
  ☆29Updated last year
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆85Updated last year
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆19Updated 5 years ago
• hawkw / mnemosyne
  A functional systems programming language with compile-time memory management
  ☆31Updated 3 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• polybuildr / balloon-lang
  The Balloon programming language and interpreter.
  ☆17Updated 7 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• gasche / popl2014-papers
  ☆73Updated 11 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• matklad / miniml
  ☆22Updated 9 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• keean / elements_in_rust
  Algorithms and Concepts from Stepanov's "Elements of Programming" implemented in Rust
  ☆22Updated 8 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 5 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• jsdf / lisp.rs
  Scheme Interpreter in Rust
  ☆28Updated 7 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• hanazuki / miniml
  Tiny ML interpreter
  ☆16Updated 11 years ago
• muratdem / HLC
  ☆15Updated 7 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• emberian / lets-build-a-compiler
  abandoned update of jack crenshaw's compilers intro
  ☆116Updated 6 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆52Updated 8 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago