Alternatives and similar repositories for kanren

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

• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• mattbierner / hamt_plus
  Fork of HAMT with transactions and custom key types
  ☆52Updated 8 years ago
• ramda / ramda-logic
  ramda logic
  ☆44Updated last year
• Gregoor / tofu
  Experiment in structural code editing
  ☆103Updated last year
• soney / interstate
  ☆53Updated 4 years ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆139Updated 2 years ago
• liphe / delisp
  A statically typed Lisp dialect with algebraic effect system compiling to Javascript
  ☆42Updated 2 years ago
• keil / TreatJS
  Higher-Order Contracts for JavaScript
  ☆14Updated 8 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 10 years ago
• 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
• kennetpostigo / qnd
  Quick and Dirty development builds
  ☆19Updated 8 years ago
• rasmusvhansen / rxjs-transducer
  A transducer implementation using the excellent operators from RxJs
  ☆16Updated 2 years ago
• disnet / sweet-interfaces
  An implementation of emcascript interfaces in Sweet.js.
  ☆33Updated 7 years ago
• jaredly / reason-lisp-example
  An example of using the lisp syntax for reason/ocaml
  ☆36Updated 7 years ago
• asolove / microScopeKanren
  A trace visualization of MicroKanren logic programs, in JS.
  ☆14Updated 2 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 9 years ago
• fwg / s-expression
  javascript s-expression parser with quote support
  ☆58Updated 4 years ago
• staltz / jace
  just another compiler experiment
  ☆14Updated 8 years ago
• adlawson / sweetjs-pipeline
  Naturally expressive functional composition
  ☆26Updated 11 years ago
• jaredly / myntax
  ☆52Updated 6 years ago
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆34Updated 6 years ago
• smallhelm / level-fact-base
  Store immutable facts and query them with datalog.
  ☆48Updated 2 years ago
• funkia / jabz
  Powerful and practical functional abstractions for JavaScript and TypeScript. Functors, Monads, Traversables and all that jazz.
  ☆89Updated 7 years ago
• oleiman / sweet-contracts
  A collection of sweet.js macros that provide contract support for JavaScript!
  ☆55Updated 12 years ago
• bodil / eulalie
  ES6 flavoured parser combinators
  ☆72Updated 7 years ago
• fantasyland / fantasy-lenses
  Composable, immutable getters and setters.
  ☆109Updated 9 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 9 years ago
• eyston / hueyql
  ☆27Updated 10 years ago
• lantiga / react.hiccup
  React 0% JSX, 100% hiccup
  ☆81Updated 11 years ago