fplab / ui-for-pl
User Interfaces for Programming Languages: The Compendium
☆28Updated 3 years ago
Related projects: ⓘ
- A clean implementation of Parsing with Zippers.☆36Updated 5 years ago
- Sound and efficient gradual typing via contract verification.☆20Updated last year
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 5 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 6 years ago
- An error-tolerant live programming environment (my Master's thesis)☆17Updated 2 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- ☆21Updated 4 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆29Updated 3 years ago
- A Redex tutorial with a focus on how to do work in Redex☆10Updated 2 years ago
- A Racket Meta-Program Generator☆17Updated 4 years ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 5 years ago
- Kanren with databases☆43Updated last month
- Fast, CommonMark-compliant Markdown parser written in Racket☆31Updated last year
- A reading list of of papers on alternatives and subjunctive interfaces☆10Updated 8 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆20Updated 3 months ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Syntax Parse Bee 2021☆11Updated last year
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 12 years ago
- miniKanren with a first-order representation of the search space☆16Updated last month
- miniKanren for search, SMT for solving☆13Updated 4 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated 6 months ago
- A categorical semantics library in Agda.☆17Updated 4 years ago
- A prototype of soft contract verification for an untyped functional language☆34Updated 3 years ago
- A template for you to implement Hazelnut yourself☆18Updated 2 weeks ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆16Updated 7 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 7 years ago
- software archaeology of reflective towers of interpreters☆15Updated 3 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- Another attempt to realize my programming language☆17Updated last week