Alternatives and similar repositories for cs345

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

• parrt / cs652
  University of San Francisco CS652 -- Programming Languages
  ☆132Updated 6 years ago
• parrt / simple-virtual-machine
  A simple VM for a talk on building VMs
  ☆220Updated 8 years ago
• antlr / symtab
  Generic symbol table for lexically/statically scoped languages
  ☆51Updated 8 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆31Updated 9 years ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆95Updated 5 months ago
• idsc-frazzoli / subare
  reinforcement learning algorithms from the book by Sutton and Barto
  ☆16Updated 4 years ago
• jcbeyler / wasm-to-llvm-prototype
  s-expression → internal IR → LLVM IR
  ☆46Updated 9 years ago
• altairmn / COOL-Compiler
  Compiler for COOL. Uses ANTLR and LLVM Toolchain. Written in JAVA.
  ☆44Updated 9 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• gkastrinis / panda
  A Datalog compiler and library
  ☆19Updated 4 years ago
• MiniJavaCompiler / MiniJavaLLVM
  MiniJava x86, LLVM Compiler and Interpreter
  ☆74Updated 9 years ago
• norswap / uranium
  Semantic analysis framework
  ☆14Updated 3 years ago
• eliben / luz-cpu
  Educational open-source CPU suite (with assembler, linker and simulator)
  ☆174Updated last year
• parrt / simple-virtual-machine-C
  Same as simple-virtual-machine but in C
  ☆150Updated 9 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆102Updated 10 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆292Updated 3 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆221Updated 2 years ago
• rofirrim / gcc-tiny
  GCC Tiny front-end
  ☆104Updated 7 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• wonks / wonks.github.io
  PL Wonks website
  ☆12Updated this week
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• parrt / cs601
  USF CS601 lecture notes and sample code
  ☆56Updated 10 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 3 weeks ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 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
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆116Updated 5 months ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago