tomstuart / kanrenLinks
An example Ruby implementation of μKanren.
☆23Updated 5 years ago
Alternatives and similar repositories for kanren
Users that are interested in kanren are comparing it to the libraries listed below
Sorting:
- A port of microKanren to Ruby☆28Updated 10 years ago
- MiniKanren implementation in Ruby☆40Updated 9 years ago
- Monads & ADTs in Ruby☆27Updated 5 years ago
- Maybe Functor, Applicative and Monad☆30Updated 7 years ago
- Ruby with Logic, a prolog-style logic programming system for Ruby☆31Updated 7 years ago
- a gem to add J language array commands to Ruby☆82Updated 11 years ago
- ☆84Updated 8 years ago
- Haskell library to parse a subset of Ruby objects serialised with Marshal.dump☆33Updated 2 years ago
- Programming without Null☆81Updated last year
- ADTs for Ruby☆24Updated 12 years ago
- A Prolog DSL and interpreter for Ruby☆31Updated 9 years ago
- A Lisp dialect of Ruby☆26Updated 7 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Tiny Scheme interpreter, suitable for use as a livecoded demo☆23Updated 16 years ago
- A Web Framework for LFE☆18Updated 9 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- ruby lambda proc tools for functional programming and arrows☆28Updated 10 years ago
- Forward messages to collaborators in East-oriented style.☆14Updated this week
- A small, simple and incomplete Lisp/Scheme interpreter written in Ruby☆12Updated 10 years ago
- Clojure-like Lisp on Rubinius☆95Updated 4 years ago
- A high-level, light-weight web framework for Ruby with many ideas from Seaside.☆117Updated 4 years ago
- Ruby VM in pure Ruby☆26Updated 5 years ago
- Ruby virtual DOM for HTML☆56Updated 6 years ago
- ShenRuby is a port of the Shen programming language to Ruby☆77Updated 5 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- ☆10Updated 8 years ago
- Privacy focused website analytics.☆38Updated 4 years ago
- Dataflow concurrency for Ruby (inspired by the Oz language)☆125Updated 14 years ago
- A dynamic OO language with ideas traditionally described as "functional"☆80Updated last year
- A small programming language designed to teach the basics of language implementation.☆82Updated 14 years ago