parrt / cs345Links
CS345 Programming Languages at University of San Francisco
☆20Updated 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☆133Updated 6 years ago
- A simple VM for a talk on building VMs☆224Updated 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…☆30Updated 10 years ago
- The semantics of Java in K☆19Updated 4 years ago
- Python bindings for libNVVM☆38Updated 11 years ago
- s-expression → internal IR → LLVM IR☆47Updated 10 years ago
- Educational open-source CPU suite (with assembler, linker and simulator)☆178Updated last year
- Generic symbol table for lexically/statically scoped languages☆53Updated 8 years ago
- JVM Abstracting Abstract Machine☆25Updated 7 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆32Updated 2 years ago
- Python term rewriting☆30Updated 12 years ago
- MiniJava x86, LLVM Compiler and Interpreter☆74Updated 9 years ago
- Semantic analysis framework☆15Updated 3 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆103Updated 10 years ago
- ☆43Updated 9 years ago
- ☆60Updated 7 years ago
- Smallish programs written to learn something.☆50Updated 2 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 years ago
- Continuation Passing C☆114Updated 6 years ago
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 6 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆301Updated 3 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- Programming Language Explorations☆102Updated 3 weeks ago
- Implementation of the LLVM tutorial in Python using llvmlite☆339Updated last year
- code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896☆18Updated 7 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 11 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆17Updated 9 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 7 years ago
- ☆14Updated 8 years ago