spariev / mini_kanren
MiniKanren implementation in Ruby
☆40Updated 9 years ago
Alternatives and similar repositories for mini_kanren:
Users that are interested in mini_kanren are comparing it to the libraries listed below
- A port of microKanren to Ruby☆28Updated 10 years ago
- ☆84Updated 8 years ago
- Fuby is a hybrid functional/object-oriented programming language on the Rubinius VM☆62Updated 11 years ago
- A high-level, light-weight web framework for Ruby with many ideas from Seaside.☆117Updated 4 years ago
- Monads & ADTs in Ruby☆27Updated 5 years ago
- A universal S-expression parser for Ruby.☆51Updated last year
- Typed structs on steroids based on algebraic types and pattern matching.☆88Updated 4 years ago
- Superators add new operators to Ruby☆60Updated 5 years ago
- Ruby Tool for Language Recognition☆44Updated 10 years ago
- Transformation of ruby data-structures with optionally traced evaluation☆4Updated 9 months ago
- The Classic FizzBuzz program implemented in pure Ruby-Flavored Lambda Calculus☆47Updated 12 years ago
- A fast S-Expression parser library for Ruby☆41Updated 3 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 10 years ago
- a modular, macro-ular, totally tubular language for the Rubinius VM. #atomo @ freenode☆53Updated 8 years ago
- Dataflow concurrency for Ruby (inspired by the Oz language)☆124Updated 14 years ago
- Ruby wrapper for Cap'n Proto☆90Updated 2 years ago
- An example of a Ruby gem written in Rust☆18Updated 8 years ago
- A Ruby VM implemented in JavaScript☆33Updated 13 years ago
- An example Ruby implementation of μKanren.☆23Updated 5 years ago
- ruby lambda proc tools for functional programming and arrows☆28Updated 9 years ago
- rom-rb adapter inspired by original Yesql from the Clojure world☆32Updated last month
- Higher Order Functions for Ruby☆10Updated 10 years ago
- MessageBus integration for Roda☆17Updated last month
- Lambra is an experiment to implement a functional, distributed Lisp on the Rubinius VM.☆36Updated 10 years ago
- The Rubinius Book☆15Updated 6 years ago
- Clojure-inspired Lisp that compiles to Ruby☆16Updated 9 years ago
- UNMAINTAINED: See celluloid/celluloid#779 - Celluloid actors that talk over the 0MQ protocol☆82Updated 4 years ago
- A kernel language specification☆58Updated 13 years ago
- Fast indifferent access to request params☆13Updated 3 years ago