Alternatives and similar repositories for PLAI

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

• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆16Updated 10 months ago
• tiancaiamao / yasfs
  some old code about scheme compiler I've ever wrote
  ☆14Updated 2 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 5 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated last year
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆25Updated 2 years ago
• toddaaro / advanced-dan
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆15Updated 12 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆34Updated 10 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 4 months ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆11Updated last week
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• vyorkin / tiger
  A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.
  ☆24Updated 2 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆31Updated 8 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• steinuil / the-little-ocamler
  The examples from "The Little MLer" in OCaml and ReasonML
  ☆30Updated 5 years ago
• paulcadman / the-little-typer
  Resources for "The Little Typer" study group
  ☆47Updated 5 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆73Updated 10 months ago
• smarr / SOM
  SOM - Simple Object Machine
  ☆23Updated last week
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆49Updated 2 years ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆63Updated 2 weeks 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
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• zellio / incrementum
  Incremental implementation of a scheme compiler
  ☆29Updated 12 years ago
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆12Updated 4 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• mbillingr / lisp-in-small-pieces
  Working through the Book Lisp In Small Pieces
  ☆12Updated 2 years ago