spariev / mini_kanren
MiniKanren implementation in Ruby
☆40Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for mini_kanren
- A port of microKanren to Ruby☆27Updated 9 years ago
- A high-level, light-weight web framework for Ruby with many ideas from Seaside.☆118Updated 4 years ago
- ☆84Updated 8 years ago
- Monads & ADTs in Ruby☆27Updated 4 years ago
- a modular, macro-ular, totally tubular language for the Rubinius VM. #atomo @ freenode☆52Updated 8 years ago
- ruby lambda proc tools for functional programming and arrows☆28Updated 9 years ago
- Superators add new operators to Ruby☆60Updated 5 years ago
- Typed structs on steroids based on algebraic types and pattern matching.☆86Updated 3 years ago
- Dataflow concurrency for Ruby (inspired by the Oz language)☆124Updated 14 years ago
- Smalltalk on Rubinius☆57Updated 13 years ago
- Ruby implementation for the blog post series http://www.halogenandtoast.com/reconstructing-ruby-an-introduction/☆19Updated 9 years ago
- Symbolic math for ruby☆91Updated 12 years ago
- Ruby with Logic, a prolog-style logic programming system for Ruby☆31Updated 6 years ago
- The Rubinius Book☆15Updated 6 years ago
- A universal S-expression parser for Ruby.☆51Updated 9 months ago
- rom-rb adapter inspired by original Yesql from the Clojure world☆32Updated 2 years ago
- Algebraic Data Types for Ruby☆74Updated 9 years ago
- A fast S-Expression parser library for Ruby☆39Updated 2 years ago
- Clojure-inspired Lisp that compiles to Ruby☆16Updated 8 years ago
- An example Ruby implementation of μKanren.☆22Updated 5 years ago
- A Ruby VM implemented in JavaScript☆33Updated 13 years ago
- Ruby on Parrot☆56Updated 5 years ago
- Haskell-style partial application and composition for Ruby methods☆154Updated 9 years ago
- RubyMacros is a lisp-like macro pre-processor for Ruby. More than just a purely textual substitution scheme, RubyMacros can manipulate a…☆61Updated 8 years ago
- Superators add new operators to Ruby☆32Updated 12 years ago
- ADTs for Ruby☆24Updated 11 years ago
- Ruby VM in pure Ruby☆26Updated 4 years ago
- helps dealing with exceptional situations, it comes from the sphere of functional programming and bringing the goodies I have come to lov…☆229Updated 8 years ago
- ☆45Updated 9 years ago