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 6 months ago
- Support for for students (Python)☆64Updated last month
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Compile-time metaprogramming for OCaml☆74Updated 10 months ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆26Updated 2 years ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 5 months ago
- A notional machine for the SMoL languages☆21Updated last year
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Course web page for Fall 2021.☆22Updated 3 years ago
- Public course materials for CSE 230 (Winter 2019)☆28Updated 3 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆15Updated 12 years ago
- Data structures and algorithms in OCaml☆49Updated 2 weeks ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- Modern Compiler Implementation in ML (OCaml)☆7Updated 5 years ago
- SIGPLAN website☆11Updated last week
- The examples from "The Little MLer" in OCaml and ReasonML☆30Updated 5 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago
- Resources for "The Little Typer" study group☆47Updated 5 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 5 years ago
- ☆14Updated last month
- Go! Lisp in OCaml☆75Updated 12 years ago
- Lean4 backend using `libgccjit`!☆11Updated last year
- A custom parser/auto-formatter for Standard ML☆78Updated last month
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 4 years ago