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:
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆15Updated 12 years ago
- Support for for students (Python)☆65Updated 2 months ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 7 months ago
- Web site for standardml.org.☆36Updated last year
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆27Updated 2 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Compile-time metaprogramming for OCaml☆74Updated last year
- ☆87Updated 4 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆102Updated 10 years ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 5 years ago
- A notional machine for the SMoL languages☆22Updated last year
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- A PLT Redex implementation of Featherweight Java☆16Updated 12 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- My personal website☆97Updated this week
- A SuperCompiler for Martin-Löf's Type Theory☆122Updated 3 years ago
- ☆65Updated 8 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 13 years ago
- The Definition of Standard ML (1990)☆123Updated 10 years ago
- A meta-circular interpreter of a subset of Scheme☆15Updated 5 years ago
- PL Wonks website☆12Updated this week
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Updated 5 years ago
- A Scheme to x86-64 compiler in Scheme☆80Updated 10 years ago
- ☆39Updated 2 months ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago