asolove / microScopeKanren
A trace visualization of MicroKanren logic programs, in JS.
☆14Updated 2 years ago
Alternatives and similar repositories for microScopeKanren:
Users that are interested in microScopeKanren are comparing it to the libraries listed below
- The many experiments that have led to Eve in its current form☆65Updated 6 years ago
- Port of microKanren to JavaScript.☆24Updated 3 years ago
- Graphical programming editor☆33Updated 8 years ago
- Natural Language Datalog☆129Updated 7 years ago
- miniKanren for JavaScript☆25Updated last year
- Shen on javascript.☆69Updated 6 years ago
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- The {lambda way} project is a wiki, {lambda tank}, built as a thin overlay on top of any modern web browser, and devoted to writing, comp…☆30Updated 3 years ago
- Datalog query engine for PouchDB.☆24Updated 9 years ago
- This is a library for "Overveld-style" constraint relaxation.☆67Updated last year
- ☆53Updated 4 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- JavaScript implementation of modified version of miniKanren☆32Updated 5 years ago
- ramda logic☆43Updated 4 months ago
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated 2 years ago
- ☆43Updated last year
- Simple hlisp project setup.☆41Updated 12 years ago
- A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.☆28Updated 11 years ago
- Store immutable facts and query them with datalog.☆48Updated last year
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆51Updated 5 years ago
- FRP with 3DF and Differential Dataflow.☆26Updated 5 years ago
- Concurrency and Metaprogramming for JS☆259Updated 7 years ago
- Datalog query engine for PouchDB.☆15Updated 9 years ago
- Augmented editor for Elm.☆46Updated 8 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆25Updated 3 years ago
- Build UI declaratively with Datalog.☆129Updated 2 years ago
- Request for Comments on changes to Eve☆27Updated 8 years ago
- Clojure code editor wrapping Flense☆22Updated 9 years ago
- a relational algebra library for JavaScript☆59Updated 9 years ago
- Commutative graphs made for real-time, offline-tolerant replication☆54Updated 5 years ago