Alternatives and similar repositories for kanren

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

• mattbierner / hamt_plus
  Fork of HAMT with transactions and custom key types
  ☆52Updated 8 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• soney / interstate
  ☆53Updated 4 years ago
• kennetpostigo / rdn
  📖 Reason Developer Network
  ☆20Updated 8 years ago
• asolove / microScopeKanren
  A trace visualization of MicroKanren logic programs, in JS.
  ☆14Updated 2 years ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆134Updated 2 years ago
• adlawson / sweetjs-pipeline
  Naturally expressive functional composition
  ☆26Updated 10 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• ramda / ramda-logic
  ramda logic
  ☆44Updated 10 months ago
• disnet / sweet-interfaces
  An implementation of emcascript interfaces in Sweet.js.
  ☆33Updated 7 years ago
• liphe / delisp
  A statically typed Lisp dialect with algebraic effect system compiling to Javascript
  ☆42Updated 2 years ago
• jaredly / reason-lisp-example
  An example of using the lisp syntax for reason/ocaml
  ☆36Updated 7 years ago
• MartinSnyder / seamless-immutable-cursor
  Compact Cursor Library built on top of the excellent seamless-immutable
  ☆56Updated 6 years ago
• bsansouci / ludum-dare-41
  ☆28Updated 6 years ago
• kennetpostigo / qnd
  Quick and Dirty development builds
  ☆19Updated 8 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 10 years ago
• briancavalier / most-behave
  Experimental continuous Behaviors for most.js
  ☆32Updated 5 years ago
• erikrose / bucklescript-fizzbuzz
  A demonstration of a production-suitable build pipeline for client-side BuckleScript
  ☆28Updated 7 years ago
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆34Updated 6 years ago
• Gregoor / tofu
  Experiment in structural code editing
  ☆102Updated last year
• robotlolita / tamago
  (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript
  ☆32Updated 2 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• eyston / hueyql
  ☆27Updated 10 years ago
• keil / TreatJS
  Higher-Order Contracts for JavaScript
  ☆14Updated 8 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 9 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• bodil / eulalie
  ES6 flavoured parser combinators
  ☆72Updated 7 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 9 years ago
• manuel / wat-js
  Concurrency and Metaprogramming for JS
  ☆261Updated 7 years ago
• jordwalke / CommonML
  Simple OCaml Development Workflow on CommonJS
  ☆97Updated 6 years ago