danvk / Stanford-CS-242-Programming-Languages
Repo for Stanford CS 242 Programming Languages Fall 2022 with Prof. Aikens
☆18Updated 9 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
- world's worst interpreter☆60Updated 8 months ago
- ☆11Updated 3 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- McLulang: The message is the language☆10Updated 7 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- An implementation of interaction nets as a forth-like language.☆29Updated this week
- An experimental optimizing compiler for Bril☆65Updated last week
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- ☆22Updated 8 years ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last month
- A JS devtool orchestrator☆41Updated 2 weeks ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- Cerberus C semantics☆61Updated this week
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Datalog + Egg = Good☆66Updated last year
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Updated 11 months ago
- ☆23Updated 3 years ago
- egg is a flexible, high-performance e-graph library☆11Updated 11 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆42Updated last month
- simple snapshot-style integration testing for commands☆70Updated 8 months ago
- CMSC 430 Design and Implementation of Programming Languages☆49Updated 3 months ago
- A simple interpreter featuring a tracing JIT☆15Updated 14 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 3 months ago
- MimIR is my Intermediate Representation☆61Updated this week
- Lean course materials for Brown CS 22, Spring 2023☆20Updated last year
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆26Updated this week
- Can I make an *optimizing* compiler under 1k lines of code?☆55Updated last month
- A lighweight and parallel snapshot testing framework in rust☆31Updated last year
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆60Updated 3 years ago