geoffreylitt / mini-adapton
Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
☆24Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for mini-adapton
- Build UI declaratively with Datalog.☆125Updated last year
- A very short and simple implementation of (bottom-up) Datalog in JS☆30Updated 11 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- Another attempt to realize my programming language☆18Updated this week
- ☆35Updated 3 months ago
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated last year
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 2 months ago
- A dynamic data-driven document development environment (DDDDDE)☆80Updated last year
- Natural Language Datalog☆127Updated 6 years ago
- archived prototype for sketching dynamic models☆17Updated 3 weeks ago
- ☆36Updated 3 years ago
- An open-source database inspired by Datomic☆29Updated 11 months ago
- Some CRDT implementations in Datalog☆14Updated 6 years ago
- a datalog interpreter in typescript☆208Updated last month
- A hackable notes-spreadsheet-hybrid for programmers☆14Updated last month
- ☆53Updated 4 months ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆19Updated 3 weeks ago
- ☆23Updated 4 months ago
- Tunable sorting for responsive robustness and beyond☆13Updated 3 weeks ago
- The Coil Programming Language☆34Updated 8 months ago
- ☆9Updated last year
- Mergable, efficient data schema for intercompatible apps☆39Updated last year
- Macro-based string templating.☆20Updated 2 months ago
- The canonical Replicache client, implemented in Rust.☆30Updated 3 years ago
- Eg-walker paper, experiments and data.☆33Updated last month
- LoFiUnconf in St Louis after Strange Loop☆21Updated last year
- miniKanren for JavaScript☆23Updated last year
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆42Updated 2 years ago
- A petrifyingly good logic programming language☆30Updated this week
- Real world text editing traces for benchmarking CRDT and Rope data structures☆42Updated 11 months ago