HarvardPL / cs152-lecture-code
Code from CS152 lectures
☆13Updated 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
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated last month
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆13Updated last week
- 🍔 Chen’s Private Cuisine Menu☆10Updated 10 months ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆23Updated 2 years ago
- A notional machine for the SMoL languages☆22Updated last year
- The MLPolyR programming language, revived☆24Updated 4 years ago
- Theorem Proving in Emacs☆12Updated 2 months ago
- ☆22Updated last year
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆22Updated last month
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆22Updated 2 weeks ago
- Programming Language Foundations in Lean☆26Updated 2 months ago
- ☆52Updated 4 months ago
- A Scribble library for typesetting grammars better☆15Updated 2 years ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Updated 6 years ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆20Updated 2 years ago
- ☆13Updated last year
- Notes on higher-order typed compilation. Probably wrong☆23Updated 2 years ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- interactive λ-calculus for learning☆37Updated 5 years ago
- Automatic testing of MoonBit programs☆23Updated last week
- Books on programming language theory and linguistics in general.☆53Updated 3 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated last month
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 8 months ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- A transpiler that converts TeX into Unicode (as possible).☆19Updated last week
- A splay tree implementation.☆13Updated 7 months ago
- RUst way for Reuse Analysis☆12Updated 11 months ago
- A metalanguage for creating sophisticated DSLs in Racket.☆31Updated last week