jsl / ruby_ukanren
A port of microKanren to Ruby
☆27Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for ruby_ukanren
- MiniKanren implementation in Ruby☆40Updated 8 years ago
- A demonstration of STM in Ruby using the Lee benchmark☆13Updated 4 years ago
- Ruby VM in pure Ruby☆26Updated 4 years ago
- An example Ruby implementation of μKanren.☆22Updated 5 years ago
- A high-level, light-weight web framework for Ruby with many ideas from Seaside.☆117Updated 4 years ago
- Clojure-like Lisp on Rubinius☆94Updated 3 years ago
- ☆84Updated 8 years ago
- Fuby is a hybrid functional/object-oriented programming language on the Rubinius VM☆62Updated 10 years ago
- E vai col lissio!☆40Updated 7 years ago
- Clojure-inspired Lisp that compiles to Ruby☆16Updated 8 years ago
- MessageBus integration for Roda☆17Updated 10 months ago
- A Prolog DSL and interpreter for Ruby☆31Updated 9 years ago
- Time travel for Ruby Pry☆38Updated 7 years ago
- Superators add new operators to Ruby☆60Updated 5 years ago
- Monads & ADTs in Ruby☆27Updated 4 years ago
- PiecePipe helps you break your code into small interesting pieces and provides the glue for pipelining them together to provide elegant, …☆53Updated 3 years ago
- A universal S-expression parser for Ruby.☆51Updated 10 months ago
- A Web Framework for LFE☆17Updated 8 years ago
- ShenRuby is a port of the Shen programming language to Ruby☆76Updated 5 years ago
- Superators add new operators to Ruby☆32Updated 12 years ago
- rom-rb adapter inspired by original Yesql from the Clojure world☆32Updated 2 years ago
- The Classic FizzBuzz program implemented in pure Ruby-Flavored Lambda Calculus☆47Updated 12 years ago
- Dataflow concurrency for Ruby (inspired by the Oz language)☆124Updated 14 years ago
- A design-by-contract framework for Ruby.☆42Updated 9 years ago
- A project cataloguing, preserving, and dissecting compilers for the Ruby programming language☆16Updated 2 years ago
- a gem for nondeterministic programming in Ruby☆19Updated 6 years ago
- The Rubinius Book☆15Updated 6 years ago
- Forward messages to collaborators in East-oriented style.☆14Updated 3 weeks ago
- Typed structs on steroids based on algebraic types and pattern matching.☆86Updated 3 years ago