brandonspark / mulliganLinks
A stepping debugger for Standard ML (SML)
☆26Updated last year
Alternatives and similar repositories for mulligan
Users that are interested in mulligan are comparing it to the libraries listed below
Sorting:
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last month
- A deterministic parser with fused lexing☆73Updated 2 years ago
- EGraphs in OCaml☆66Updated last year
- Reference compiler for c0☆36Updated last month
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 6 months ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 4 years ago
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆52Updated last week
- 🩺 A library for compiler diagnostics☆46Updated 5 months ago
- ☆35Updated 9 months ago
- A custom parser/auto-formatter for Standard ML☆78Updated 2 months ago
- ☆36Updated 3 years ago
- Playing with type systems☆51Updated 6 months ago
- A collection of programming languages and type systems.☆33Updated 2 months ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Updated last year
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆23Updated 2 years ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆72Updated this week
- A Deductive Verification Tool for OCaml Programs☆73Updated last month
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆68Updated 3 years ago
- Demo for dependent types + runtime code generation☆69Updated 4 months ago
- PL syntax macros.☆19Updated 2 weeks ago
- A verified compiler for a lazy functional language☆36Updated 3 weeks ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated 11 months ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated 2 weeks ago