hpi-swa-lab / sb-tree-sitterLinks
Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
☆14Updated 3 months ago
Alternatives and similar repositories for sb-tree-sitter
Users that are interested in sb-tree-sitter are comparing it to the libraries listed below
Sorting:
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆39Updated 3 months ago
- Mystery Languages☆41Updated 2 years ago
- A template for you to implement Hazelnut yourself☆22Updated 6 months ago
- An error-tolerant live programming environment (my Master's thesis)☆20Updated 3 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- ☆37Updated last year
- Prototypes: Object Orientation, Functionally☆49Updated last week
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 5 years ago
- Adds syntax to racket languages☆11Updated 3 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Updated last year
- A Racket Meta-Program Generator☆17Updated 5 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated last year
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆60Updated last year
- Fast, CommonMark-compliant Markdown parser written in Racket☆35Updated last year
- A Gradual Dependently-typed Language☆14Updated 6 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆48Updated 11 months ago
- A dynamically-typed CBPV language embedded in Racket☆39Updated last year
- ☆12Updated 2 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Updated 5 years ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆20Updated 6 years ago
- a self-hosting lambda calculus compiler☆37Updated 9 months ago
- Apple array system☆69Updated 3 weeks ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆17Updated 2 years ago
- Draw lightsabers using Racket's pict library☆11Updated 6 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆94Updated this week
- XKCD 3062☆22Updated 10 months ago
- Racket to WebAssembly Compiler☆38Updated last year