fplab / ui-for-pl
User Interfaces for Programming Languages: The Compendium
☆27Updated 4 years ago
Alternatives and similar repositories for ui-for-pl:
Users that are interested in ui-for-pl are comparing it to the libraries listed below
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 6 years ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- miniKanren with a first-order representation of the search space☆16Updated 8 months ago
- A template for you to implement Hazelnut yourself☆21Updated 2 months ago
- software archaeology of reflective towers of interpreters☆15Updated 5 months ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- purple: compiling a reflective language☆32Updated 5 months ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 2 years ago
- Sound and efficient gradual typing via contract verification.☆20Updated last year
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Kanren with databases☆43Updated 7 months ago
- ☆21Updated 5 years ago
- A categorical semantics library in Agda.☆17Updated 5 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 9 months ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- Untyped Concatenative Calculus☆19Updated 3 years ago
- A Racket Meta-Program Generator☆17Updated 4 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- ☆34Updated 11 months ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- A Dependently Typed Esolang☆10Updated 7 years ago
- A prototype of soft contract verification for an untyped functional language☆34Updated 3 years ago
- microkanren in sml☆26Updated 10 years ago
- a self-hosting lambda calculus compiler☆35Updated 3 years ago
- A language for writing command line interfaces in Racket☆15Updated 3 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago