asolove / microScopeKanrenLinks
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
Sorting:
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- Natural Language Datalog☆134Updated 7 years ago
- Port of microKanren to JavaScript.☆25Updated 3 years ago
- A very short and simple implementation of (bottom-up) Datalog in JS☆31Updated 12 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Clojure code editor wrapping Flense☆22Updated 10 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- ☆53Updated 4 years ago
- Datalog query engine for PouchDB.☆24Updated 10 years ago
- ☆46Updated 2 years ago
- A little language for machines with speech acts☆110Updated 6 years ago
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- This is a library for "Overveld-style" constraint relaxation.☆68Updated 2 years ago
- FRP with 3DF and Differential Dataflow.☆26Updated 5 years ago
- Request for Comments on changes to Eve☆27Updated 8 years ago
- React 0% JSX, 100% hiccup☆81Updated 11 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.☆28Updated 12 years ago
- Shen on javascript.☆70Updated 6 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆200Updated 8 years ago
- A Clojure/ClojureScript implementation of Elm FRP.☆57Updated 10 years ago
- Concurrency and Metaprogramming for JS☆261Updated 7 years ago
- Graphical programming editor☆33Updated 8 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- A framework for building programmable applications☆29Updated 2 years ago
- Build UI declaratively with Datalog.☆134Updated 2 years ago
- The best Prolog visualizer☆86Updated 2 years ago
- ☆27Updated 10 years ago
- An example of using the lisp syntax for reason/ocaml☆36Updated 7 years ago