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
  ☆134Updated 6 years ago
• parrt / simple-virtual-machine
  A simple VM for a talk on building VMs
  ☆220Updated 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…
  ☆30Updated 10 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 4 years ago
• eliben / pykaleidoscope
  Implementation of the LLVM tutorial in Python using llvmlite
  ☆330Updated 9 months ago
• eliben / luz-cpu
  Educational open-source CPU suite (with assembler, linker and simulator)
  ☆177Updated last year
• altairmn / COOL-Compiler
  Compiler for COOL. Uses ANTLR and LLVM Toolchain. Written in JAVA.
  ☆44Updated 9 years ago
• MiniJavaCompiler / MiniJavaLLVM
  MiniJava x86, LLVM Compiler and Interpreter
  ☆74Updated 9 years ago
• rofirrim / gcc-tiny
  GCC Tiny front-end
  ☆107Updated 8 years ago
• ucsd-cse131-sp17 / lectures
  Lecture notes and code from class
  ☆16Updated 8 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆299Updated 3 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 11 years ago
• antlr / symtab
  Generic symbol table for lexically/statically scoped languages
  ☆53Updated 8 years ago
• cslarsen / minijit
  A basic x86-64 JIT compiler written from scratch in stock Python
  ☆233Updated 7 years ago
• slebok / zoo
  Grammar Zoo
  ☆96Updated 6 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated last year
• eliben / asdl_parser
  Standalone ASDL parser for upstream CPython 3.x
  ☆63Updated 7 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• rtoal / ple
  Programming Language Explorations
  ☆101Updated last week
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 10 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 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
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆222Updated 2 years ago
• cliffclick / aa
  Cliff Click Language Hacking
  ☆286Updated 3 weeks ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆223Updated 2 years ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 years ago