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:
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- Mechanized baselines for various type system features☆17Updated last month
- Theorem Proving in Emacs☆12Updated 5 months ago
- interactive λ-calculus for learning☆37Updated 6 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
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆60Updated 11 months ago
- Books on programming language theory and linguistics in general.☆56Updated 4 years ago
- ☆22Updated last year
- A notional machine for the SMoL languages☆21Updated 2 years ago
- An LLM-first programming language.☆32Updated 3 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆41Updated 3 months ago
- Programming Language Foundations in Lean☆48Updated 6 months ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆26Updated 3 years ago
- 十分钟魔法练习 in OCaml☆36Updated 3 years ago
- Deprecated☆39Updated 3 months ago
- Educational Proof Assistant for Type Theory☆80Updated 2 weeks ago
- Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.☆16Updated 5 months ago
- A metalanguage for creating sophisticated DSLs in Racket.☆39Updated 3 months ago
- Notes on higher-order typed compilation. Probably wrong☆23Updated 3 years ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆55Updated 5 years ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆68Updated 6 months ago
- Language based on Rewriting Logic☆157Updated this week
- A ML-like pure functional language that can be used as a template for creating your own language☆31Updated last year
- A verified polyhedral scheduling validator in Coq.☆23Updated last year
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆67Updated 6 months ago
- An embeddable flow-oriented language.☆74Updated last month
- SPSC: A Small Positive Supercompiler☆39Updated last year
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 7 years ago
- Personal research notes☆18Updated last year