geoffreylitt / mini-adapton
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
- Build UI declaratively with Datalog.☆134Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆78Updated last year
- A dynamic data-driven document development environment (DDDDDE)☆83Updated 2 years ago
- Another attempt to realize my programming language☆23Updated 3 months ago
- ☆39Updated last month
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 2 months ago
- A very short and simple implementation of (bottom-up) Datalog in JS☆30Updated 12 years ago
- ☆37Updated 3 years ago
- ☆18Updated last month
- A hackable notes-spreadsheet-hybrid for programmers☆15Updated 6 months ago
- A boot-loader for a local-first web.☆19Updated 3 months ago
- Some CRDT implementations in Datalog☆16Updated 6 years ago
- Utility functions to apply and invert patches generated by Automerge document changes.☆23Updated 8 months ago
- Mergable, efficient data schema for intercompatible apps☆40Updated last year
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- a datalog interpreter in typescript☆210Updated 4 months ago
- Port of microKanren to JavaScript.☆24Updated 3 years ago
- LoFiUnconf in St Louis after Strange Loop☆21Updated last year
- in-progress 🚧 explosional 💥 editor☆20Updated 3 years ago
- Macro-based string templating.☆21Updated 8 months ago
- Uniquely Dense Total Orders for List/Text CRDTs☆16Updated 2 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- An open-source database inspired by Datomic☆30Updated last year
- ☆17Updated 2 years ago
- A programming language and user interface toolkit for creating structured editors.☆19Updated 7 months ago
- an edge database☆28Updated 8 months ago
- A full-stack prototype of a collaborative web application backed by a Datalog-inspired database.☆17Updated 4 years ago
- ☆28Updated 10 months ago
- Natural Language Datalog☆129Updated 7 years ago
- ☆53Updated 4 months ago