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.☆134Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated last year
- a datalog interpreter in typescript☆212Updated 7 months ago
- ☆43Updated last week
- A dynamic data-driven document development environment (DDDDDE)☆84Updated 2 years ago
- A very short and simple implementation of (bottom-up) Datalog in JS☆31Updated 12 years ago
- archived prototype for sketching dynamic models☆32Updated 2 months ago
- ☆20Updated last month
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆23Updated 2 months ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- Natural Language Datalog☆134Updated 7 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 6 months ago
- Another attempt to realize my programming language☆23Updated 6 months ago
- Our home on the World Wide Web.☆146Updated 3 weeks ago
- LoFiUnconf in St Louis after Strange Loop☆21Updated last year
- ☆46Updated 2 years ago
- in-progress 🚧 explosional 💥 editor☆23Updated 3 years ago
- Some CRDT implementations in Datalog☆16Updated 7 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 2 weeks ago
- Catalogue of the hisotry of Mathematics☆32Updated 3 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Better web-based prototypes for iPad☆54Updated 2 months ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- A SolidJS diagramming framework☆74Updated last year
- A boot-loader for a local-first web.☆29Updated 3 months ago
- The Coil Programming Language☆33Updated last year
- ☆101Updated 3 years ago
- ☆46Updated 2 months ago
- Experiment in structural code editing☆102Updated last year
- A programming language and user interface toolkit for creating structured editors.☆20Updated 10 months ago