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
- A stepping debugger for Standard ML (SML)☆27Updated last year
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 9 months ago
- A toy dependent typed language.☆28Updated this week
- PL syntax macros.☆19Updated this week
- A simple implementation of XTT, "A cubical language for Bishop sets"☆26Updated 3 years ago
- ☆14Updated last year
- CS3100: Paradigms of Programming at CSE IITM (Fall 2019)☆19Updated 2 years ago
- Git repository for the course Logika v računalništvu☆11Updated 3 years ago
- EGraphs in OCaml☆64Updated last year
- Neovim plugin for forester☆16Updated 5 months ago
- Mystery Languages☆38Updated last year
- CIS 6700, Spring 2023☆18Updated 2 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- 十分钟魔法练习 in OCaml☆33Updated 3 years ago
- Educational Proof Assistant for Type Theory☆74Updated 8 months ago
- BQN implementation in Julia☆18Updated 3 years ago
- 🩺 A library for compiler diagnostics☆43Updated 2 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- An English translation of Deligne's three "Hodge theory" papers☆11Updated last week
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- loxomotive - A Lox Interpreter implemented in Haskell☆16Updated 3 years ago
- ☆9Updated last year
- ☆12Updated 7 months ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆54Updated last week
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆27Updated last year
- Prototype for https://github.com/Innf107/vega☆19Updated 9 months ago
- The formal proof of the Odd Order Theorem☆30Updated last week