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☆64Updated 6 years ago
- Natural Language Datalog☆129Updated 7 years ago
- Datalog query engine for PouchDB.☆24Updated 9 years ago
- ☆45Updated 2 years ago
- Clojure code editor wrapping Flense☆22Updated 9 years ago
- ☆53Updated 4 years ago
- Store immutable facts and query them with datalog.☆48Updated last year
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Graphical programming editor☆33Updated 8 years ago
- Port of microKanren to JavaScript.☆24Updated 3 years ago
- Request for Comments on changes to Eve☆27Updated 8 years ago
- Simple hlisp project setup.☆41Updated 12 years ago
- Less is More template for Om☆53Updated 9 years ago
- Algebraic data types for JavaScript using Sweet.js macros☆93Updated 10 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- FRP with 3DF and Differential Dataflow.☆26Updated 5 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- A very short and simple implementation of (bottom-up) Datalog in JS☆30Updated 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
- miniKanren for JavaScript☆26Updated last year
- ☆27Updated 10 years ago
- JavaScript implementation of modified version of miniKanren☆33Updated 5 years ago
- visual method for simplifying numbers☆13Updated 7 years ago
- React 0% JSX, 100% hiccup☆81Updated 11 years ago
- ramda logic☆44Updated 7 months ago
- This is a library for "Overveld-style" constraint relaxation.☆67Updated 2 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- clojurescript on exponent! with figwheel☆12Updated 9 years ago
- A Factor-inspired, concatenative DSL for Clojure☆98Updated 11 years ago