hpi-swa-lab / sb-tree-sitter
Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
☆13Updated last year
Alternatives and similar repositories for sb-tree-sitter:
Users that are interested in sb-tree-sitter are comparing it to the libraries listed below
- Accompanying materials for "A Core Calculus for Documents"☆32Updated last year
- McLulang: The message is the language☆10Updated 7 months ago
- Prototypes: Object Orientation, Functionally☆44Updated 2 weeks ago
- Leibniz - a Digital Scientific Notation☆33Updated 3 months ago
- Mystery Languages☆38Updated last year
- Experimental, recursively-embeddable, domain-specific editors and text editor☆78Updated last year
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated this week
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- ☆16Updated 2 weeks ago
- ☆34Updated last year
- Bringing Prolog to the masses.☆36Updated 3 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- A template for you to implement Hazelnut yourself☆21Updated 3 months ago
- ☆47Updated 5 months ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 2 months ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- Slog 1.0☆41Updated 10 months ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- An implementation of the Lox language in Racket.☆33Updated last year
- A language for writing command line interfaces in Racket☆15Updated 3 years ago
- Type inference implementation in OCaml using Algorithm W☆10Updated 3 years ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- A compiler and run-time system to compile and run Curry programs as Go programs☆24Updated 4 months ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆43Updated 2 months ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆16Updated 4 months ago
- Kanren with databases☆43Updated 8 months ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- A Racket Meta-Program Generator☆17Updated 5 years ago