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
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- Natural Language Datalog☆134Updated 7 years ago
- Datalog query engine for PouchDB.☆24Updated 10 years ago
- This is a library for "Overveld-style" constraint relaxation.☆68Updated 2 years ago
- Finite domain constraint programming library in JS☆62Updated 3 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
- ☆46Updated 2 years ago
- Port of microKanren to JavaScript.☆25Updated 3 years ago
- ☆53Updated 4 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆199Updated 8 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- A little language for machines with speech acts☆110Updated 6 years ago
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆92Updated last year
- ☆27Updated 10 years ago
- Concurrency and Metaprogramming for JS☆261Updated 7 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- ramda logic☆44Updated last year
- A simple Prolog interpreter written with javascript☆16Updated 8 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- Constraint library for JavaScript☆205Updated 4 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆53Updated 2 years ago
- The best Prolog visualizer☆85Updated 2 years ago
- Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.☆105Updated 7 months ago
- React 0% JSX, 100% hiccup☆81Updated 11 years ago
- Build UI declaratively with Datalog.☆137Updated 2 years ago
- Shen on javascript.☆70Updated 7 years ago
- Algebraic data types for JavaScript using Sweet.js macros☆93Updated 11 years ago
- FRP with 3DF and Differential Dataflow.☆26Updated 6 years ago
- Shem's powerful IDE.☆62Updated 5 years ago