Gregoor / tofu
Experiment in structural code editing
☆101Updated 11 months ago
Alternatives and similar repositories for tofu:
Users that are interested in tofu are comparing it to the libraries listed below
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆25Updated 3 years ago
- The Sentient Programming Language.☆78Updated 5 years ago
- ECMAScript verification with SMT solvers☆124Updated 8 months ago
- Concur UI Library for Javascript☆76Updated 4 years ago
- A dynamic data-driven document development environment (DDDDDE)☆81Updated last year
- ⛹ Write Grammars for the Nearley Parser!☆84Updated 2 years ago
- Embeddable layout engine. Like flexbox, but with fewer concepts, applied uniformly.☆190Updated 6 years ago
- inspired by regular expressions but can do nested structures☆76Updated 2 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆173Updated 6 months ago
- A parser combinator library with declarative superpowers☆27Updated 2 years ago
- Finger tree data structure for JavaScript☆26Updated this week
- instrumenting wasm binaries to trace function execution☆46Updated 5 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
- ☆36Updated 3 years ago
- a datalog interpreter in typescript☆209Updated last month
- A parser for Hidnley Milner notations☆23Updated 2 years ago
- Type Inference Library written in TypeScript☆93Updated last year
- ☆49Updated 2 years ago
- SumTypes in TypeScript☆30Updated 2 years ago
- Development shim for serving up CommonJS modules☆68Updated 2 years ago
- A live programming environment that lets you see the inner workings of programs☆78Updated 3 years ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆75Updated 6 months ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated last year
- #BehavioralProgramming for React☆57Updated 5 years ago
- Hygienic typed literal macros (TLMs) for Reason☆208Updated 6 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- A collection of related articles, experiments and demos about futuristic kinds of programming☆166Updated 9 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
- Small library for describing HKTs in TypeScript☆32Updated 6 years ago