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
  ☆28Updated 10 years ago
• mneumann / wee
  A high-level, light-weight web framework for Ruby with many ideas from Seaside.
  ☆117Updated 4 years ago
• plum-umd / rtc
  ☆84Updated 8 years ago
• pitr-ch / algebrick
  Typed structs on steroids based on algebraic types and pattern matching.
  ☆88Updated 3 years ago
• atomicobject / monadt
  Monads & ADTs in Ruby
  ☆27Updated 4 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 5 years ago
• halogenandtoast / reconstructing-ruby
  Ruby implementation for the blog post series http://www.halogenandtoast.com/reconstructing-ruby-an-introduction/
  ☆19Updated 9 years ago
• rom-rb / rom-yesql
  rom-rb adapter inspired by original Yesql from the Clojure world
  ☆32Updated last week
• txus / adts
  Algebraic Data Types for Ruby
  ☆74Updated 10 years ago
• txus / fuby
  Fuby is a hybrid functional/object-oriented programming language on the Rubinius VM
  ☆62Updated 10 years ago
• foxnewsnetwork / arrows
  ruby lambda proc tools for functional programming and arrows
  ☆28Updated 9 years ago
• jicksta / superators
  Superators add new operators to Ruby
  ☆60Updated 5 years ago
• dryruby / sxp.rb
  A universal S-expression parser for Ruby.
  ☆51Updated last year
• larrytheliquid / dataflow
  Dataflow concurrency for Ruby (inspired by the Oz language)
  ☆124Updated 14 years ago
• mbj / morpher
  Transformation of ruby data-structures with optionally traced evaluation
  ☆4Updated 8 months ago
• rkh / Reak
  Smalltalk on Rubinius
  ☆57Updated 13 years ago
• txus / lambra
  Lambra is an experiment to implement a functional, distributed Lisp on the Rubinius VM.
  ☆36Updated 10 years ago
• 0x0dea / viva
  Viva exposes the virtual variable API to Ruby land.
  ☆22Updated 9 years ago
• jimwise / rulog
  Ruby with Logic, a prolog-style logic programming system for Ruby
  ☆31Updated 7 years ago
• baweaver / xf
  Xf - Transform Functions
  ☆62Updated 6 years ago
• jimweirich / lambda_fizz
  The Classic FizzBuzz program implemented in pure Ruby-Flavored Lambda Calculus
  ☆47Updated 12 years ago
• bguthrie / handshake
  A design-by-contract framework for Ruby.
  ☆42Updated 9 years ago
• josevalim / lego-lang
  A kernel language specification
  ☆58Updated 12 years ago
• vito / atomy
  a modular, macro-ular, totally tubular language for the Rubinius VM. #atomo @ freenode
  ☆52Updated 8 years ago
• celluloid / celluloid-zmq
  UNMAINTAINED: See celluloid/celluloid#779 - Celluloid actors that talk over the 0MQ protocol
  ☆82Updated 4 years ago
• jcoglan / stickup
  Tiny Scheme interpreter, suitable for use as a livecoded demo
  ☆23Updated 15 years ago
• jarhart / rattler
  Ruby Tool for Language Recognition
  ☆44Updated 10 years ago
• rom-rb / rom-couchdb
  Experimental CouchDB support for ROM
  ☆18Updated 8 years ago
• leahneukirchen / rum
  a gRand Unified Mapper for Rack
  ☆102Updated 16 years ago
• aarongough / sexpistol
  A fast S-Expression parser library for Ruby
  ☆41Updated 3 years ago