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
• eliben / luz-cpu
  Educational open-source CPU suite (with assembler, linker and simulator)
  ☆176Updated last year
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆296Updated 3 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆102Updated 10 years ago
• rtoal / ple
  Programming Language Explorations
  ☆97Updated 3 weeks 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 9 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆86Updated 15 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
• ucsd-cse131-sp17 / lectures
  Lecture notes and code from class
  ☆16Updated 8 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• wonks / wonks.github.io
  PL Wonks website
  ☆12Updated 3 weeks ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆178Updated last year
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• zfy0701 / hindley-milner
  A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala
  ☆17Updated 12 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆157Updated 4 years ago
• cslarsen / minijit
  A basic x86-64 JIT compiler written from scratch in stock Python
  ☆231Updated 7 years ago
• oriontransfer / PL0-Language-Tools
  An implementation of PL/0 including a tree-based interpreter and virtual machine.
  ☆76Updated last year
• rofirrim / gcc-tiny
  GCC Tiny front-end
  ☆107Updated 8 years ago
• jmoy / norvig-spell
  Different Implementations of Norvig's spellchecker
  ☆38Updated 10 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆31Updated 2 years ago
• MarisaKirisame / first_order_logic_prover
  ☆59Updated 7 years ago
• msaroufim / C-compiler-optimizations
  Description of commonly done compiler optimizations in C
  ☆46Updated 3 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆69Updated 2 weeks ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆60Updated 6 years ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆132Updated 4 years ago