Alternatives and similar repositories for kanren:

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

• liphe / delisp
  A statically typed Lisp dialect with algebraic effect system compiling to Javascript
  ☆41Updated 2 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆26Updated last week
• adlawson / sweetjs-pipeline
  Naturally expressive functional composition
  ☆26Updated 10 years ago
• ramda / ramda-logic
  ramda logic
  ☆44Updated 7 months ago
• staltz / jace
  just another compiler experiment
  ☆14Updated 8 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 8 years ago
• kennetpostigo / qnd
  Quick and Dirty development builds
  ☆19Updated 8 years ago
• asolove / microScopeKanren
  A trace visualization of MicroKanren logic programs, in JS.
  ☆14Updated 2 years ago
• lantiga / react.hiccup
  React 0% JSX, 100% hiccup
  ☆81Updated 11 years ago
• fkettelhoit / bottom-up-datalog-js
  A very short and simple implementation of (bottom-up) Datalog in JS
  ☆30Updated 12 years ago
• oakmac / parinfer.py
  Parinfer in Python
  ☆10Updated 2 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 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
• asolove / restate
  Another way to describe the control state of your Reason UI
  ☆24Updated 7 years ago
• reasonml-community / bs-transit-js
  Transit-js bindings Bucklescript
  ☆10Updated 3 years ago
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆26Updated 5 years ago
• mattbierner / hamt_plus
  Fork of HAMT with transactions and custom key types
  ☆51Updated 8 years ago
• rhysforyou / bs-enzyme
  Bucklescript bindings for Enzyme
  ☆35Updated 3 years ago
• state-machine-systems / JsonCodec
  JSON combinator library for BuckleScript/Reason
  ☆38Updated 5 years ago
• mkremins / flense-nw
  Clojure code editor wrapping Flense
  ☆22Updated 10 years ago
• keil / TreatJS
  Higher-Order Contracts for JavaScript
  ☆14Updated 8 years ago
• MartinSnyder / seamless-immutable-cursor
  Compact Cursor Library built on top of the excellent seamless-immutable
  ☆56Updated 6 years ago
• disnet / sweet-interfaces
  An implementation of emcascript interfaces in Sweet.js.
  ☆33Updated 7 years ago
• rasmusvhansen / rxjs-transducer
  A transducer implementation using the excellent operators from RxJs
  ☆16Updated 2 years ago
• erikrose / bucklescript-fizzbuzz
  A demonstration of a production-suitable build pipeline for client-side BuckleScript
  ☆28Updated 6 years ago
• funkia / rudolph
  A pure and functional router using classic FRP. Written in TypeScript.
  ☆20Updated 3 years ago
• jlongster / learning-clojurescript
  All the apps I'm making to learn ClojureScript (and also have fun)
  ☆40Updated 9 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 3 months ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago