Gregoor / tofu
Experiment in structural code editing
☆102Updated last year
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☆78Updated last year
- An IDE for the Ohm language (JavaScript edition)☆98Updated 4 months ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- SumTypes in TypeScript☆30Updated 2 years ago
- Research prototype of a REPL/debugger☆30Updated 6 years ago
- A dynamic data-driven document development environment (DDDDDE)☆83Updated 2 years ago
- Concur UI Library for Javascript☆76Updated 4 years ago
- ☆31Updated 3 years ago
- inspired by regular expressions but can do nested structures☆76Updated 2 years ago
- a datalog interpreter in typescript☆210Updated 3 months ago
- Type Inference Library written in TypeScript☆93Updated last year
- Fork of HAMT with transactions and custom key types☆51Updated 8 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆173Updated 8 months ago
- A live programming environment that lets you see the inner workings of programs☆79Updated 3 years ago
- ☆36Updated 3 years ago
- Collaboration for reinventing software in human terms☆172Updated 6 years ago
- Embeddable layout engine. Like flexbox, but with fewer concepts, applied uniformly.☆190Updated 7 years ago
- A boot-loader for a local-first web.☆19Updated 2 months ago
- Small library for describing HKTs in TypeScript☆32Updated 6 years ago
- Development shim for serving up CommonJS modules☆68Updated 2 years ago
- ECMAScript verification with SMT solvers☆125Updated 10 months ago
- A collection of related articles, experiments and demos about futuristic kinds of programming☆166Updated 9 years ago
- LoFiUnconf in St Louis after Strange Loop☆21Updated last year
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- Unicode text OT implementation☆74Updated 3 years ago
- A parser combinator library with declarative superpowers☆27Updated 3 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
- Mergable, efficient data schema for intercompatible apps☆39Updated last year
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆104Updated 2 years ago
- a lisp that compile to web assembly☆49Updated 4 years ago