HarvardPL / cs152-lecture-codeLinks
Code from CS152 lectures
☆14Updated last month
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:
- A notional machine for the SMoL languages☆21Updated 2 years ago
- Theorem Proving in Emacs☆12Updated 5 months ago
- A Scribble library for typesetting grammars better☆15Updated 2 years ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- interactive λ-calculus for learning☆37Updated 6 years ago
- Books on programming language theory and linguistics in general.☆56Updated 4 years ago
- ☆22Updated last year
- ☆39Updated 4 years ago
- Course web page for Fall 2021.☆22Updated 4 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆61Updated 11 months ago
- Mechanized baselines for various type system features☆18Updated 2 months ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆26Updated 3 years ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆68Updated 6 months ago
- Programming Language Foundations in Lean☆48Updated 6 months ago
- Mystery Languages☆41Updated 2 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆68Updated 2 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Updated last year
- A metalanguage for creating sophisticated DSLs in Racket.☆39Updated 3 months ago
- Cicada Language (PLCT little team)☆94Updated last year
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆32Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 months ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆55Updated 5 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆67Updated 6 months ago
- A formalization of the textbook Elements of Set Theory☆60Updated 4 years ago
- An LLM-first programming language.☆33Updated 4 months ago
- ☆11Updated last week
- Cicada Language (solo version)☆128Updated last year
- Graph Theory [maintainers=@chdoc,@damien-pous]☆41Updated 3 months ago
- An embeddable flow-oriented language.☆74Updated last month
- Course on Metaprogramming☆75Updated 7 months ago