geoffreylitt / mini-adaptonLinks
Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
☆24Updated 3 years ago
Alternatives and similar repositories for mini-adapton
Users that are interested in mini-adapton are comparing it to the libraries listed below
Sorting:
- Build UI declaratively with Datalog.☆140Updated 2 years ago
- a datalog interpreter in typescript☆213Updated 11 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- A dynamic data-driven document development environment (DDDDDE)☆85Updated 2 years ago
- ☆43Updated 4 months ago
- A very short and simple implementation of (bottom-up) Datalog in JS☆31Updated 12 years ago
- LoFiUnconf in St Louis after Strange Loop☆21Updated 2 years ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆24Updated 7 months ago
- archived prototype for sketching dynamic models☆38Updated 6 months ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆48Updated 10 months ago
- in-progress 🚧 explosional 💥 editor☆24Updated 3 years ago
- ☆20Updated 5 months ago
- Another attempt to realize my programming language☆23Updated 10 months ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Updated 2 months ago
- A hackable notes-spreadsheet-hybrid for programmers☆16Updated 3 weeks ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Experiment in structural code editing☆104Updated last year
- Natural Language Datalog☆135Updated 8 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆53Updated 2 years ago
- An error-tolerant live programming environment (my Master's thesis)☆20Updated 3 years ago
- A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…☆90Updated 3 years ago
- A SolidJS diagramming framework☆74Updated last year
- Some CRDT implementations in Datalog☆18Updated 7 years ago
- ☆46Updated 6 months ago
- An archive of Steve Krouse's Future of Coding research notes☆149Updated 2 months ago
- Port of microKanren to JavaScript.☆25Updated 3 years ago
- Graphing Scrubbing Calculator☆11Updated 8 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆120Updated 3 weeks ago
- A live programming environment that lets you see the inner workings of programs☆81Updated 3 years ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆79Updated last year