Alternatives and similar repositories for microScopeKanren:

Users that are interested in microScopeKanren are comparing it to the libraries listed below

• harc / nl-datalog
  Natural Language Datalog
  ☆127Updated 7 years ago
• joshcox / kanren
  Port of microKanren to JavaScript.
  ☆24Updated 2 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 2 years ago
• mkremins / flense-nw
  Clojure code editor wrapping Flense
  ☆22Updated 9 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆65Updated 5 years ago
• wjlewis / ramo
  miniKanren for JavaScript
  ☆25Updated last year
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆32Updated 5 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• harc / constraint-based-spreadsheet
  ☆41Updated last year
• dahjelle / pouch-datalog
  Datalog query engine for PouchDB.
  ☆24Updated 9 years ago
• ramda / ramda-logic
  ramda logic
  ☆43Updated 3 months ago
• mixu / datalog.js
  A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.
  ☆28Updated 11 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆110Updated 5 years ago
• witheve / rfcs
  Request for Comments on changes to Eve
  ☆27Updated 8 years ago
• soney / interstate
  ☆53Updated 4 years ago
• lantiga / react.hiccup
  React 0% JSX, 100% hiccup
  ☆81Updated 10 years ago
• fkettelhoit / bottom-up-datalog-js
  A very short and simple implementation of (bottom-up) Datalog in JS
  ☆30Updated 11 years ago
• jarohen / graph-zip
  A zipper library for Clojure that navigates graph structures
  ☆19Updated 12 years ago
• den1k / root
  A recursive UI resolver
  ☆13Updated last year
• tailrecursion / hlisp-starter
  Simple hlisp project setup.
  ☆41Updated 11 years ago
• typeetfunc / datascript-mori
  Package for union datascript and mori
  ☆37Updated 4 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 7 years ago
• mystor / meteor-clojurescript
  A Clojurescript package for Meteor
  ☆32Updated 10 years ago
• dahjelle / dataquery
  An implementation of the datalog query language with user-provided indexes.
  ☆15Updated 9 years ago
• smallhelm / level-fact-base
  Store immutable facts and query them with datalog.
  ☆48Updated last year
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆63Updated 9 years ago
• natefaubion / adt-simple
  Algebraic data types for JavaScript using Sweet.js macros
  ☆93Updated 10 years ago
• thi-ng / create-hdom-app
  New project generator for @thi.ng/hdom TypeScript apps
  ☆16Updated 5 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 9 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆81Updated 7 years ago