danvk / Stanford-CS-242-Programming-Languages
Repo for Stanford CS 242 Programming Languages Fall 2022 with Prof. Aikens
☆20Updated 10 months ago
Alternatives and similar repositories for Stanford-CS-242-Programming-Languages:
Users that are interested in Stanford-CS-242-Programming-Languages are comparing it to the libraries listed below
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- Most influential papers in programming languages☆56Updated 3 months ago
- An experimental optimizing compiler for Bril☆65Updated 2 weeks ago
- world's worst interpreter☆60Updated this week
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated 3 weeks ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆139Updated 4 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆97Updated 2 years ago
- Cicada Language (PLCT little team)☆92Updated 4 months ago
- Rewrite Rule Inference Using Equality Saturation☆125Updated this week
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆60Updated 3 weeks ago
- sketches for egg: a flexible, high-performance e-graph library☆26Updated last month
- 豫言☆27Updated this week
- simple snapshot-style integration testing for commands☆70Updated 9 months ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 2 months ago
- Personal reading notes (zh-CN)☆8Updated 9 months ago
- An awesome list of e-graph resources☆153Updated last week
- ☆56Updated this week
- an interactive programming language☆36Updated this week
- 现代编程思想公开课课后练习☆9Updated 9 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- UB-aware interpreter for LLVM debugging☆26Updated last week
- Fast WebAssembly Baseline Compiler☆55Updated last year
- Debugging WebAssembly? Put some Whamm! on it.☆27Updated last week
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆26Updated 2 weeks ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 4 months ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆206Updated 4 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 9 months ago
- Quantum circuits compiler with staging and continuations☆16Updated 5 months ago