spariev / mini_kanrenLinks
MiniKanren implementation in Ruby
☆40Updated 10 years ago
Alternatives and similar repositories for mini_kanren
Users that are interested in mini_kanren are comparing it to the libraries listed below
Sorting:
- A port of microKanren to Ruby☆29Updated 11 years ago
- ☆84Updated 9 years ago
- (MOVED TO CODEBERG) A high-level, light-weight web framework for Ruby with many ideas from Seaside.☆117Updated 5 years ago
- Monads & ADTs in Ruby☆27Updated 5 years ago
- Typed structs on steroids based on algebraic types and pattern matching.☆88Updated 4 years ago
- Haskell-style partial application and composition for Ruby methods☆152Updated 10 years ago
- Fuby is a hybrid functional/object-oriented programming language on the Rubinius VM☆62Updated 11 years ago
- An example Ruby implementation of μKanren.☆24Updated 6 years ago
- Smalltalk on Rubinius☆56Updated 14 years ago
- Dataflow concurrency for Ruby (inspired by the Oz language)☆125Updated 15 years ago
- Forward messages to collaborators in East-oriented style.☆14Updated 3 months ago
- ruby lambda proc tools for functional programming and arrows☆28Updated 10 years ago
- A universal S-expression parser for Ruby.☆54Updated 2 years ago
- a modular, macro-ular, totally tubular language for the Rubinius VM. #atomo @ freenode☆53Updated 9 years ago
- A pure Ruby gem implemention of a Prolog-like DSL for AI and logical programming.☆208Updated 10 months ago
- Clojure-inspired Lisp that compiles to Ruby☆15Updated 10 years ago
- Ruby virtual DOM for HTML☆56Updated 7 years ago
- A design-by-contract framework for Ruby.☆43Updated 10 years ago
- BERT (Binary ERlang Term) serialization library for Ruby.☆207Updated 2 years ago
- Scala-inspired Monads for Ruby☆103Updated 10 years ago
- A ruby library for prettier-still anonymous blocks.☆74Updated 13 years ago
- A kernel language specification☆58Updated 13 years ago
- Ruby implementation for the blog post series http://www.halogenandtoast.com/reconstructing-ruby-an-introduction/☆20Updated 10 years ago
- Symbolic math for ruby☆91Updated 13 years ago
- Superators add new operators to Ruby☆60Updated 6 years ago
- Gradual type checker for Ruby☆30Updated 9 years ago
- Experimental CouchDB support for ROM☆18Updated 9 years ago
- Functional Reactive Programming in Ruby.☆354Updated 9 years ago
- The `>>` operator for Ruby aka "pipeline operator"☆75Updated 7 years ago
- Superators add new operators to Ruby☆32Updated 13 years ago