geoffreylitt / mini-adapton
Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
☆25Updated 2 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.☆129Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- A very short and simple implementation of (bottom-up) Datalog in JS☆30Updated 11 years ago
- Another attempt to realize my programming language☆21Updated last week
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 4 months ago
- ☆37Updated 3 weeks ago
- A dynamic data-driven document development environment (DDDDDE)☆81Updated last year
- ☆36Updated 3 years ago
- a datalog interpreter in typescript☆209Updated 2 weeks ago
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated last year
- A hackable notes-spreadsheet-hybrid for programmers☆14Updated 2 months ago
- A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…☆87Updated 2 years ago
- An open-source database inspired by Datomic☆30Updated last year
- Natural Language Datalog☆127Updated 7 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆19Updated last week
- archived prototype for sketching dynamic models☆18Updated last week
- an edge database☆28Updated 5 months ago
- Some CRDT implementations in Datalog☆14Updated 6 years ago
- A generic zipper library for JavaScript☆29Updated 8 years ago
- miniKanren for JavaScript☆25Updated last year
- LoFiUnconf in St Louis after Strange Loop☆21Updated last year
- in-progress 🚧 explosional 💥 editor☆18Updated 2 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- A projectional editor for JSON DSLs☆24Updated 9 months ago
- A program for querying and modifying information in a datalog-like format backed by SQLite.☆40Updated 2 years ago
- One-pass Code Generation in V8 (Archive)☆19Updated 2 years ago
- FRP with 3DF and Differential Dataflow.☆26Updated 5 years ago
- ☆9Updated last year
- The Yatima Standard Library☆20Updated last year
- ☆75Updated last year