brandonspark / mulligan
A stepping debugger for Standard ML (SML)
☆23Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for mulligan
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- Reference compiler for c0☆29Updated 3 months ago
- EGraphs in OCaml☆60Updated 10 months ago
- A deterministic parser with fused lexing☆71Updated last year
- ☆23Updated last month
- ☆35Updated 3 years ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- PL syntax macros.☆17Updated 3 weeks ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆34Updated 4 months ago
- A pure type system implemented in OCaml☆77Updated 3 years ago
- Slides and handwritten notes on the course on models of programming languages☆50Updated 4 years ago
- 🪆 A Staged Type Theory☆34Updated last year
- A verified compiler for a lazy functional language☆32Updated last month
- Demo for dependent types + runtime code generation☆48Updated this week
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆22Updated 2 years ago
- high-performance cubical evaluation☆68Updated 4 months ago
- a proof-of-concept programming language based on Call-by-push-value☆49Updated this week
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- A Seamless, Interactive Tactic Learner and Prover for Coq☆59Updated last week
- Tutorial for using the MPL compiler for Parallel ML☆19Updated last month
- ♾️ A library for universe levels and universe polymorphism☆33Updated last week
- A custom parser/auto-formatter for Standard ML☆68Updated 11 months ago
- Type Checking in Lean 4☆25Updated 2 months ago
- PL conference deadline countdowns☆52Updated 2 weeks ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Updated 9 months ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆32Updated 2 months ago
- Coq code formatter☆21Updated this week
- Call Futhark programs from Standard ML☆10Updated 2 months ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆33Updated last year
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆21Updated last week