HarvardPL / cs152-lecture-codeLinks
Code from CS152 lectures
☆13Updated last week
Alternatives and similar repositories for cs152-lecture-code
Users that are interested in cs152-lecture-code are comparing it to the libraries listed below
Sorting:
- ☆22Updated last year
- ☆40Updated 4 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆65Updated 2 years ago
- A notional machine for the SMoL languages☆21Updated 2 years ago
- Mechanized baselines for various type system features☆17Updated 2 weeks ago
- interactive λ-calculus for learning☆37Updated 6 years ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆67Updated 5 months ago
- Course web page for Fall 2021.☆22Updated 4 years ago
- A Scribble library for typesetting grammars better☆15Updated 2 years ago
- Books on programming language theory and linguistics in general.☆55Updated 4 years ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆67Updated 5 months ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 weeks ago
- Programming Language Foundations in Lean☆47Updated 5 months ago
- Theorem Proving in Emacs☆12Updated 4 months ago
- ☆56Updated 8 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆59Updated 10 months ago
- A formalization of the textbook Elements of Set Theory☆60Updated 4 years ago
- Coq集合论中文教程☆46Updated 4 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆40Updated last month
- Cicada Language (PLCT little team)☆94Updated last year
- Public helper code for p423/p523 students (Racket)☆166Updated 2 weeks ago
- Web page for IU Compiler Course for Fall 2020☆132Updated 5 years ago
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆21Updated this week
- Cicada Language (solo version)☆129Updated last year
- Deprecated☆38Updated last month
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆26Updated 3 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆31Updated 2 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆166Updated 10 months ago
- ☆20Updated last year