vkz / PLAILinks
my solutions to problems in Programming Languages: Application and Interpretation class by Shriram Krishnamurthi
☆9Updated 9 years ago
Alternatives and similar repositories for PLAI
Users that are interested in PLAI are comparing it to the libraries listed below
Sorting:
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 7 months ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆15Updated 12 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆26Updated 2 years ago
- Support for for students (Python)☆64Updated 2 months ago
- Compile-time metaprogramming for OCaml☆74Updated 11 months ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 6 months ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 5 years ago
- Web site for standardml.org.☆36Updated last year
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆102Updated 10 years ago
- ☆58Updated 11 years ago
- Infrastructure to autograde Racket code on Gradescope☆17Updated 5 months ago
- ☆87Updated 4 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- McLulang: The message is the language☆11Updated 10 months ago
- My personal website☆95Updated this week
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- A basic JSON parsing library for SML☆11Updated 10 years ago
- A notional machine for the SMoL languages☆21Updated last year
- Data structures and algorithms in OCaml☆50Updated last month
- Public course materials for CSE 230 (Winter 2019)☆28Updated 3 years ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆56Updated 4 months ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago