hpi-swa-lab / sb-tree-sitterView external linksLinks
Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
☆14Oct 9, 2025Updated 4 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:
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 7 years ago
- Data structures for describing changes to other data structures.☆17Jan 19, 2025Updated last year
- Shiro - a declarative, dataflow programming language for exploring alternatives☆16Oct 14, 2016Updated 9 years ago
- A summary of my activities during the past four years☆31Dec 18, 2025Updated last month
- translations of a lambda abstraction to combinations of operators☆18Sep 6, 2019Updated 6 years ago
- Source files used for the Cedille Cast videos☆13Dec 28, 2025Updated last month
- GRASP for Android☆16Mar 13, 2023Updated 2 years ago
- A Racket Meta-Program Generator☆17Mar 26, 2020Updated 5 years ago
- A projectional editor for Squeak/Smalltalk.☆45Nov 19, 2025Updated 2 months ago
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 3 years ago
- SLAYER ported to Racket☆21Jun 15, 2019Updated 6 years ago
- ☆42Jan 3, 2024Updated 2 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated last year
- Relational Algebra at your fingertips☆62Dec 3, 2014Updated 11 years ago
- Parser with a nebulous purpose☆18Feb 3, 2021Updated 5 years ago
- LoFiUnconf in St Louis after Strange Loop☆21Oct 12, 2023Updated 2 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Feb 1, 2022Updated 4 years ago
- Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…☆24Jan 3, 2023Updated 3 years ago
- Contractual Semver☆28Apr 16, 2022Updated 3 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆33Mar 16, 2021Updated 4 years ago
- ☆33Dec 8, 2023Updated 2 years ago
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated last month
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆15Jan 19, 2026Updated 3 weeks ago
- ☆29Jan 20, 2025Updated last year
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 3 years ago
- Specification of the Cedille Core language☆35Jul 21, 2020Updated 5 years ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- Implementation of the Aardappel programming language☆31May 29, 2017Updated 8 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 4 months ago
- See all your code rendered at once and zoom around it using Rust & GPU rendering.☆34Jul 3, 2016Updated 9 years ago
- A showcase of interesting code and proof developments in Cedille☆36Jun 10, 2025Updated 8 months ago
- ☆35Jan 27, 2025Updated last year
- IO using sized types and copatterns☆36Apr 14, 2021Updated 4 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Jun 3, 2022Updated 3 years ago
- A verified compiler for a lazy functional language☆39Feb 4, 2026Updated last week
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆39Feb 28, 2021Updated 4 years ago
- Visual Novel Interpreter for iOS☆16Feb 15, 2012Updated 14 years ago
- data-mesh-demo☆13Apr 12, 2022Updated 3 years ago