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
  ☆221Updated 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
• norswap / uranium
  Semantic analysis framework
  ☆14Updated 3 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆27Updated 2 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• jmoy / norvig-spell
  Different Implementations of Norvig's spellchecker
  ☆38Updated 10 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
• jcbeyler / wasm-to-llvm-prototype
  s-expression → internal IR → LLVM IR
  ☆46Updated 9 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆102Updated 10 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆292Updated 3 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆112Updated 3 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• rtoal / ple
  Programming Language Explorations
  ☆95Updated this week
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆28Updated 7 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆63Updated last week
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 9 years ago
• vkz / PLAI
  my solutions to problems in Programming Languages: Application and Interpretation class by Shriram Krishnamurthi
  ☆9Updated 9 years ago
• eliben / asdl_parser
  Standalone ASDL parser for upstream CPython 3.x
  ☆62Updated 6 years ago
• jpetitto / MiniJava
  A compiler for a subset of the Java programming language.
  ☆24Updated 11 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• antlr / symtab
  Generic symbol table for lexically/statically scoped languages
  ☆52Updated 8 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆56Updated last year
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago