jsl / ruby_ukanrenLinks
A port of microKanren to Ruby
☆28Updated 10 years ago
Alternatives and similar repositories for ruby_ukanren
Users that are interested in ruby_ukanren are comparing it to the libraries listed below
Sorting:
- MiniKanren implementation in Ruby☆40Updated 9 years ago
- ☆84Updated 8 years ago
- Ruby VM in pure Ruby☆27Updated 5 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.☆23Updated 5 years ago
- Monads & ADTs in Ruby☆27Updated 5 years ago
- A high-level, light-weight web framework for Ruby with many ideas from Seaside.☆117Updated 4 years ago
- A demonstration of STM in Ruby using the Lee benchmark☆13Updated 4 years ago
- Dataflow concurrency for Ruby (inspired by the Oz language)☆125Updated 15 years ago
- Clojure-inspired Lisp that compiles to Ruby☆16Updated 9 years ago
- A universal S-expression parser for Ruby.☆52Updated last year
- A Prolog DSL and interpreter for Ruby☆31Updated 9 years ago
- The Classic FizzBuzz program implemented in pure Ruby-Flavored Lambda Calculus☆47Updated 13 years ago
- Forward messages to collaborators in East-oriented style.☆14Updated last month
- A pure Ruby conversion (*not* wrapper) of the libschrift TrueType font renderer☆9Updated last year
- Superators add new operators to Ruby☆60Updated 6 years ago
- E vai col lissio!☆40Updated 8 years ago
- Lambra is an experiment to implement a functional, distributed Lisp on the Rubinius VM.☆36Updated 11 years ago
- Ruby virtual DOM for HTML☆56Updated 6 years ago
- Clojure-like Lisp on Rubinius☆96Updated 4 years ago
- Typed structs on steroids based on algebraic types and pattern matching.☆88Updated 4 years ago
- Fast extensible html5 builder written in pure Ruby. Replaces templating engines without loosing speed bringing back the power of OOP.☆17Updated 2 years ago
- A Web Framework for LFE☆18Updated 9 years ago
- Static HTML site generator built with mruby-cli☆17Updated 7 years ago
- ADTs for Ruby☆24Updated 12 years ago
- Transformation of ruby data-structures with optionally traced evaluation☆4Updated last year
- MessageBus integration for Roda☆17Updated last month
- A pure Ruby gem implemention of a Prolog-like DSL for AI and logical programming.☆206Updated 4 months ago
- A dynamic OO language with ideas traditionally described as "functional"☆80Updated 2 years ago
- ruby lambda proc tools for functional programming and arrows☆28Updated 10 years ago