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
  ☆51Updated 8 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 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
• ramda / ramda-logic
  ramda logic
  ☆44Updated 9 months ago
• abuseofnotation / monad-transformers
  Practical monad transformers for JS.
  ☆26Updated 8 years ago
• liphe / delisp
  A statically typed Lisp dialect with algebraic effect system compiling to Javascript
  ☆41Updated 2 years ago
• asolove / restate
  Another way to describe the control state of your Reason UI
  ☆24Updated 7 years ago
• soney / interstate
  ☆53Updated 4 years ago
• keil / TreatJS
  Higher-Order Contracts for JavaScript
  ☆14Updated 8 years ago
• disnet / sweet-interfaces
  An implementation of emcascript interfaces in Sweet.js.
  ☆33Updated 7 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 8 years ago
• kennetpostigo / rdn
  📖 Reason Developer Network
  ☆20Updated 8 years ago
• rrbit-org / rrbit-js
  ☆12Updated 8 years ago
• asolove / microScopeKanren
  A trace visualization of MicroKanren logic programs, in JS.
  ☆14Updated 2 years ago
• fantasyland / fantasy-lenses
  Composable, immutable getters and setters.
  ☆109Updated 9 years ago
• smallhelm / level-fact-base
  Store immutable facts and query them with datalog.
  ☆48Updated 2 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
• erikrose / bucklescript-fizzbuzz
  A demonstration of a production-suitable build pipeline for client-side BuckleScript
  ☆28Updated 6 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• MartinSnyder / seamless-immutable-cursor
  Compact Cursor Library built on top of the excellent seamless-immutable
  ☆56Updated 6 years ago
• state-machine-systems / JsonCodec
  JSON combinator library for BuckleScript/Reason
  ☆38Updated 5 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• wmaurer / cyclejs-fractals
  Cycle.js version of https://swizec.com/blog/animating-svg-nodes-react-preact-inferno-vue/swizec/7311
  ☆21Updated 8 years ago
• ryyppy / reason-lnd
  OBSOLETE! Check out https://github.com/ryyppy/reason-tictactoe INSTEAD
  ☆23Updated 7 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 5 months ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• lantiga / react.hiccup
  React 0% JSX, 100% hiccup
  ☆81Updated 11 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 10 years ago
• funkia / jabz
  Powerful and practical functional abstractions for JavaScript and TypeScript. Functors, Monads, Traversables and all that jazz.
  ☆89Updated 7 years ago