Gregoor / tofu
Experiment in structural code editing
☆101Updated 10 months ago
Alternatives and similar repositories for tofu:
Users that are interested in tofu are comparing it to the libraries listed below
- ECMAScript verification with SMT solvers☆124Updated 7 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- ⛹ Write Grammars for the Nearley Parser!☆84Updated 2 years ago
- A framework of various language parsers☆95Updated this week
- A parser combinator library with declarative superpowers☆27Updated 2 years ago
- The Sentient Programming Language.☆78Updated 5 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆25Updated 2 years ago
- ☆53Updated 4 years ago
- Embeddable layout engine. Like flexbox, but with fewer concepts, applied uniformly.☆191Updated 6 years ago
- An IDE for the Ohm language (JavaScript edition)☆98Updated last month
- Research prototype of a REPL/debugger☆30Updated 6 years ago
- Collaboration for reinventing software in human terms☆171Updated 6 years ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆75Updated 5 months ago
- A collection of related articles, experiments and demos about futuristic kinds of programming☆166Updated 9 years ago
- inspired by regular expressions but can do nested structures☆76Updated 2 years ago
- A dynamic data-driven document development environment (DDDDDE)☆81Updated last year
- Concur UI Library for Javascript☆76Updated 4 years ago
- Type Inference Library written in TypeScript☆93Updated last year
- a lisp that compile to web assembly☆49Updated 4 years ago
- CodeMirror integration with Automerge☆32Updated 2 years ago
- ☆31Updated 3 years ago
- JUnify ― JavaScript Unification Library☆50Updated 12 years ago
- a datalog interpreter in typescript☆209Updated 2 weeks ago
- Unicode text OT implementation☆73Updated 2 years ago
- The Lively Projectional Editor is an implementation of a projectional editor for Lively 4. It offers a dual editing workflow: A text proj…☆16Updated 7 years ago
- Self-documenting Node scripts through literate programming☆76Updated 5 years ago
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆65Updated 3 years ago
- Minimalistic, functional, JSON-formatted programming language☆19Updated 7 years ago