ucsd-cse131-sp17 / lecturesLinks
Lecture notes and code from class
☆16Updated 8 years ago
Alternatives and similar repositories for lectures
Users that are interested in lectures are comparing it to the libraries listed below
Sorting:
- The Lark programming language.☆58Updated 15 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆103Updated 10 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- ☆43Updated 9 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆86Updated last year
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- ☆65Updated 9 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- TLA+ and Alloy specs of database isolation☆21Updated 10 years ago
- A distributed key-value cache with builtin materialized views.☆25Updated 11 years ago
- Code samples for using libjit☆91Updated 8 years ago
- My personal website☆102Updated this week
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 6 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- a small C++ lattice library☆15Updated 5 years ago
- Let's (possibly) build a JIT!☆28Updated last year
- Data structures and algorithms in OCaml☆51Updated 3 months ago
- surgical precision JIT compilers☆122Updated 8 years ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆20Updated 5 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 6 years ago
- code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896☆18Updated 6 years ago
- ☆26Updated 6 years ago
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆64Updated 8 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- A Python-like systems programming language☆84Updated 9 years ago
- A curated list of TLA+ resources.☆66Updated 6 years ago
- Benchmarks of the longest path problem in various languages☆155Updated 6 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 5 years ago
- Compiler and tools for the L programming language☆72Updated last year