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
  ☆133Updated 6 years ago
• parrt / simple-virtual-machine
  A simple VM for a talk on building VMs
  ☆224Updated 8 years ago
• norswap / uranium
  Semantic analysis framework
  ☆15Updated 3 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
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 8 years ago
• jcbeyler / wasm-to-llvm-prototype
  s-expression → internal IR → LLVM IR
  ☆47Updated 10 years ago
• mit-pdos / 6.826-2017-labs
  ☆14Updated 8 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆38Updated 11 years ago
• altairmn / COOL-Compiler
  Compiler for COOL. Uses ANTLR and LLVM Toolchain. Written in JAVA.
  ☆44Updated 10 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆43Updated 9 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆301Updated 3 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• eliben / luz-cpu
  Educational open-source CPU suite (with assembler, linker and simulator)
  ☆178Updated last year
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 10 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆29Updated 4 years ago
• kentdlee / MLComp
  A Compiler and Type Inference System for a subset of Standard ML called Small.
  ☆13Updated 8 years ago
• rtoal / ple
  Programming Language Explorations
  ☆102Updated 3 weeks ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 4 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆123Updated 8 years ago
• eliben / pykaleidoscope
  Implementation of the LLVM tutorial in Python using llvmlite
  ☆339Updated last year
• ucsd-cse131-sp17 / lectures
  Lecture notes and code from class
  ☆16Updated 8 years ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆100Updated last year
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆118Updated 11 months ago
• MiniJavaCompiler / MiniJavaLLVM
  MiniJava x86, LLVM Compiler and Interpreter
  ☆74Updated 9 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated 2 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆113Updated 4 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆32Updated 2 years ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 15 years ago
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 8 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 7 years ago