ucsd-cse131-sp17 / lectures
Lecture notes and code from class
☆15Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for lectures
- An implementation of @phil_eaton compilers basic notes in Rust☆33Updated 5 years ago
- The Lark programming language.☆59Updated 14 years ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆19Updated 4 years ago
- ☆22Updated 5 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆83Updated 6 months ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896☆18Updated 5 years ago
- A distributed key-value cache with builtin materialized views.☆27Updated 10 years ago
- ☆41Updated 8 years ago
- Compiler and tools for the L programming language☆72Updated 6 months ago
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆63Updated 7 years ago
- Let's Build a Compiler - An educational compiler built from scratch in F#, inspired by Jack Crenshaw's 1988 Pascal code☆49Updated 10 years ago
- ☆73Updated 10 years ago
- Just a little toy language to learn about register-based VMs.☆20Updated 12 years ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆58Updated 13 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆38Updated 6 years ago
- Bottom Up Rewrite Generator☆26Updated 7 years ago
- Tiger Compiler from Modern Compiler Implementation in ML☆24Updated 7 years ago
- COOL (Classroom Object Oriented Language) compiler with LLVM backend☆33Updated 4 years ago
- Let's (possibly) build a JIT!☆29Updated 11 months ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆32Updated 4 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆103Updated 9 years ago
- ☆87Updated 2 years ago
- A proof assistant.☆12Updated 8 years ago
- A statically-typed compiled language defined by a simple grammar☆23Updated 2 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆59Updated 9 years ago