Alternatives and similar repositories for mini_kanren

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

• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆29Updated 10 years ago
• plum-umd / rtc
  ☆84Updated 9 years ago
• mneumann / wee
  A high-level, light-weight web framework for Ruby with many ideas from Seaside.
  ☆117Updated 5 years ago
• atomicobject / monadt
  Monads & ADTs in Ruby
  ☆27Updated 5 years ago
• pitr-ch / algebrick
  Typed structs on steroids based on algebraic types and pattern matching.
  ☆88Updated 4 years ago
• banister / funkify
  Haskell-style partial application and composition for Ruby methods
  ☆152Updated 10 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 6 years ago
• foxnewsnetwork / arrows
  ruby lambda proc tools for functional programming and arrows
  ☆28Updated 10 years ago
• rkh / Reak
  Smalltalk on Rubinius
  ☆56Updated 14 years ago
• dryruby / sxp.rb
  A universal S-expression parser for Ruby.
  ☆54Updated last year
• mojombo / bert
  BERT (Binary ERlang Term) serialization library for Ruby.
  ☆208Updated 2 years ago
• rubinius / rubinius-book
  The Rubinius Book
  ☆17Updated 3 months ago
• neilconway / superators
  Superators add new operators to Ruby
  ☆32Updated 13 years ago
• preston / ruby-prolog
  A pure Ruby gem implemention of a Prolog-like DSL for AI and logical programming.
  ☆208Updated 9 months ago
• vito / atomy
  a modular, macro-ular, totally tubular language for the Rubinius VM. #atomo @ freenode
  ☆53Updated 9 years ago
• nkpart / adt
  ADTs for Ruby
  ☆24Updated 12 years ago
• iliabylich / my.rb
  Ruby VM in pure Ruby
  ☆28Updated 5 years ago
• jicksta / superators
  Superators add new operators to Ruby
  ☆60Updated 6 years ago
• larrytheliquid / dataflow
  Dataflow concurrency for Ruby (inspired by the Oz language)
  ☆125Updated 15 years ago
• txus / adts
  Algebraic Data Types for Ruby
  ☆74Updated 10 years ago
• josevalim / lego-lang
  A kernel language specification
  ☆58Updated 13 years ago
• brixen / poison
  An interpretation of Potion on the Rubinius language platform.
  ☆36Updated 12 years ago
• 7even / carbonate
  Clojure-inspired Lisp that compiles to Ruby
  ☆15Updated 9 years ago
• saturnflyer / direction
  Forward messages to collaborators in East-oriented style.
  ☆14Updated 2 months ago
• brainopia / symbolic
  Symbolic math for ruby
  ☆91Updated 13 years ago
• pzol / monadic
  helps dealing with exceptional situations, it comes from the sphere of functional programming and bringing the goodies I have come to lov…
  ☆227Updated 9 years ago
• mwotton / Hubris
  Bridge from Ruby to Haskell
  ☆261Updated 10 years ago
• antoniogarrote / typed.rb
  Gradual type checker for Ruby
  ☆30Updated 9 years ago
• postmodern / combinatorics.rb
  Bringing (more) Combinatorics to Ruby.
  ☆46Updated last year
• judofyr / rubyscript
  A Ruby VM implemented in JavaScript
  ☆33Updated 14 years ago