Gregoor / tofu
Experiment in structural code editing
☆101Updated last year
Alternatives and similar repositories for tofu:
Users that are interested in tofu are comparing it to the libraries listed below
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆25Updated 3 years ago
- ☆53Updated 4 years ago
- The Sentient Programming Language.☆78Updated 5 years ago
- Research prototype of a REPL/debugger☆30Updated 6 years ago
- ⛹ Write Grammars for the Nearley Parser!☆84Updated 2 years ago
- A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…☆88Updated 2 years ago
- Concur UI Library for Javascript☆76Updated 4 years ago
- ☆31Updated 3 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- A generic zipper library for JavaScript☆29Updated 8 years ago
- ECMAScript verification with SMT solvers☆124Updated 9 months ago
- Fork of HAMT with transactions and custom key types☆51Updated 8 years ago
- A parser toolkit☆95Updated 3 years ago
- #BehavioralProgramming for React☆57Updated 5 years ago
- Embeddable layout engine. Like flexbox, but with fewer concepts, applied uniformly.☆190Updated 7 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆197Updated 7 years ago
- Direct Manipulation of Turtle Graphics☆37Updated 3 years ago
- A live programming environment that lets you see the inner workings of programs☆79Updated 3 years ago
- Build UI declaratively with Datalog.☆133Updated 2 years ago
- A dynamic data-driven document development environment (DDDDDE)☆82Updated 2 years ago
- Hygienic typed literal macros (TLMs) for Reason☆209Updated 6 years ago
- Type Inference Library written in TypeScript☆93Updated last year
- ☆53Updated 2 months ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆173Updated 7 months ago
- Collaboration for reinventing software in human terms☆172Updated 6 years ago
- A framework of various language parsers☆96Updated last month
- A parser combinator library with declarative superpowers☆27Updated 2 years ago
- I got mad flow.☆85Updated 7 years ago
- An IDE for the Ohm language (JavaScript edition)☆98Updated 3 months ago
- a little preprocessor for literate programming☆122Updated last year