BrownCS1260 / class-compiler-2022
This repository contains the compiler we are building in class, and supporting libraries, updated after each class.
☆7Updated last year
Alternatives and similar repositories for class-compiler-2022:
Users that are interested in class-compiler-2022 are comparing it to the libraries listed below
- ☆12Updated 5 months ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆25Updated last month
- ShiTT is a toy proof assistant. (This project will be rewritten soon)☆33Updated 3 months ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆20Updated 2 years ago
- 十分钟魔法练习 in OCaml☆33Updated 2 years ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆17Updated this week
- A cost-aware logical framework, embedded in Agda.☆60Updated 6 months ago
- Selected Papers of Dana S. Scott☆158Updated 8 months ago
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆60Updated 7 months ago
- Agda lecture notes for the Functional Programming course at TU Delft☆123Updated 11 months ago
- Lecture notes and examples for the CMSC330 Spring 2024☆15Updated 3 weeks ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆60Updated 6 months ago
- ☆9Updated last year
- Jupyter notebook for the Lean4 programming language☆24Updated 2 years ago
- A toy dependent typed language.☆28Updated this week
- A monad for interfacing with external SMT solvers☆15Updated 2 months ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆23Updated 2 years ago
- ☆34Updated 3 months ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆35Updated 3 months ago
- A book about functional programming in Lean☆39Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 3 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- Educational Proof Assistant for Type Theory☆73Updated 6 months ago
- SDL2 bindings for lean☆21Updated 10 months ago
- ☆86Updated last year
- Type Checking in Lean 4☆26Updated 5 months ago
- Code samples for Lean 4☆71Updated last year
- Functional Programming in Lean☆75Updated 9 months ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 6 months ago