ucsd-cse131-sp17 / lecturesLinks
Lecture notes and code from class
☆15Updated 8 years ago
Alternatives and similar repositories for lectures
Users that are interested in lectures are comparing it to the libraries listed below
Sorting:
- ☆42Updated 9 years ago
- Compiler and tools for the L programming language☆72Updated last year
- Royal Scheme will eventually grow to be a real, usable, embeddable Scheme implemented in ANSI C.☆77Updated 12 years ago
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆63Updated 8 years ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆85Updated last year
- Let's (possibly) build a JIT!☆29Updated last year
- a small C++ lattice library☆15Updated 5 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆102Updated 10 years ago
- A functional systems programming language with compile-time memory management☆31Updated 3 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 6 years ago
- ☆25Updated 6 years ago
- The Lark programming language.☆58Updated 15 years ago
- Experiments on the self-hosting c4 compiler, with the goal to implement a nicer Lisp-style virtual machine☆15Updated 5 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- An incremental approach to compiler construction☆84Updated 5 years ago
- ☆87Updated 4 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 3 months ago
- A Python-like systems programming language☆84Updated 9 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- ☆65Updated 8 years ago
- Ye Olde Computer Science Scrolls!☆104Updated 8 years ago
- A distributed key-value cache with builtin materialized views.☆25Updated 10 years ago
- An implementation of Scheme R7RS-small in 48 working hours.☆19Updated 5 years ago
- BIT: A Very Compact Scheme System for Microcontrollers☆43Updated 9 years ago