fplab / ui-for-plLinks
User Interfaces for Programming Languages: The Compendium
☆28Updated 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
Sorting:
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 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 template for you to implement Hazelnut yourself☆22Updated 4 months ago
- miniKanren for search, SMT for solving☆13Updated 6 years ago
- miniKanren with a first-order representation of the search space☆17Updated last year
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- Another attempt to realize my programming language☆23Updated 9 months ago
- A metalanguage for creating sophisticated DSLs in Racket.☆38Updated last month
- microkanren in sml☆26Updated 10 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆48Updated 9 months ago
- Designing Programs with Class☆28Updated 7 years ago
- Mystery Languages☆41Updated 2 years ago
- ☆22Updated 5 years ago
- Sound and efficient gradual typing via contract verification.☆20Updated 2 years ago
- Datalog implemented in minikanren☆24Updated 8 years ago
- A Scala-style magic function application form☆43Updated 3 years ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 6 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆35Updated last year
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 8 months ago
- A small language to demo turning an interpreter into a compiler☆11Updated 9 years ago
- A clean implementation of Parsing with Zippers.☆38Updated 7 years ago
- A dynamically-typed CBPV language embedded in Racket☆39Updated last year
- source code for the bondi programming language☆43Updated 6 years ago
- Kanren with databases☆44Updated last year
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆59Updated last year
- A Racket Meta-Program Generator☆17Updated 5 years ago
- GRASP for Android☆16Updated 2 years ago
- Logic for story telling!☆35Updated 7 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 13 years ago