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☆132Updated 7 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- ☆46Updated 2 years ago
- Datalog query engine for PouchDB.☆24Updated 10 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
- Clojure code editor wrapping Flense☆22Updated 10 years ago
- A little language for machines with speech acts☆110Updated 6 years ago
- Request for Comments on changes to Eve☆27Updated 8 years ago
- Port of microKanren to JavaScript.☆25Updated 3 years ago
- Concurrency and Metaprogramming for JS☆261Updated 7 years ago
- ☆53Updated 4 years ago
- A very short and simple implementation of (bottom-up) Datalog in JS☆31Updated 12 years ago
- Shen on javascript.☆70Updated 6 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 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…☆29Updated 4 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- Store immutable facts and query them with datalog.☆48Updated 2 years ago
- A framework for building programmable applications☆29Updated 2 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- A Common Lisp-like Lisp-1 in TypeScript with TCO and partially hygienic macros☆33Updated 3 years ago
- A little Forth-like language implemented in Clojure☆21Updated 5 years ago
- FRP with 3DF and Differential Dataflow.☆26Updated 5 years ago
- Simple hlisp project setup.☆41Updated 12 years ago
- ClojureScript functional reactive programming library.☆49Updated 12 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
- A Clojurescript package for Meteor☆32Updated 10 years ago
- A live programming environment that lets you see the inner workings of programs☆81Updated 3 years ago