parrt / cs345Links
CS345 Programming Languages at University of San Francisco
☆19Updated 9 years ago
Alternatives and similar repositories for cs345
Users that are interested in cs345 are comparing it to the libraries listed below
Sorting:
- University of San Francisco CS652 -- Programming Languages☆132Updated 6 years ago
- A simple VM for a talk on building VMs☆220Updated 8 years ago
- Generic symbol table for lexically/statically scoped languages☆51Updated 8 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- Chickadee OS for Harvard CS 161☆95Updated 5 months ago
- reinforcement learning algorithms from the book by Sutton and Barto☆16Updated 4 years ago
- s-expression → internal IR → LLVM IR☆46Updated 9 years ago
- Compiler for COOL. Uses ANTLR and LLVM Toolchain. Written in JAVA.☆44Updated 9 years ago
- ☆42Updated 9 years ago
- A Datalog compiler and library☆19Updated 4 years ago
- MiniJava x86, LLVM Compiler and Interpreter☆74Updated 9 years ago
- Semantic analysis framework☆14Updated 3 years ago
- Educational open-source CPU suite (with assembler, linker and simulator)☆174Updated last year
- Same as simple-virtual-machine but in C☆150Updated 9 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆102Updated 10 years ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆292Updated 3 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆221Updated 2 years ago
- GCC Tiny front-end☆104Updated 7 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- PL Wonks website☆12Updated this week
- LVC verified compiler☆57Updated 6 years ago
- USF CS601 lecture notes and sample code☆56Updated 10 years ago
- Collapsing Towers of Interpreters☆91Updated 3 weeks ago
- Smallish programs written to learn something.☆51Updated last year
- JVM Abstracting Abstract Machine☆25Updated 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
- The mathematical study of type theories, in univalent foundations☆116Updated 5 months ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 9 years ago