tomstuart / kanren
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
- A port of microKanren to Ruby☆28Updated 10 years ago
- ☆84Updated 8 years ago
- Maybe Functor, Applicative and Monad☆30Updated 7 years ago
- MiniKanren implementation in Ruby☆40Updated 9 years ago
- Monads & ADTs in Ruby☆27Updated 5 years ago
- a gem to add J language array commands to Ruby☆82Updated 10 years ago
- Ruby VM in pure Ruby☆26Updated 5 years ago
- Forward messages to collaborators in East-oriented style.☆14Updated last month
- Haskell library to parse a subset of Ruby objects serialised with Marshal.dump☆33Updated 2 years ago
- A project cataloguing, preserving, and dissecting compilers for the Ruby programming language☆17Updated 2 years ago
- ADTs for Ruby☆24Updated 12 years ago
- Clojure-like Lisp on Rubinius☆95Updated 3 years ago
- Algebraic Data Types for Ruby☆74Updated 10 years ago
- General purpose buffer for use with building JITs☆16Updated last year
- The Classic FizzBuzz program implemented in pure Ruby-Flavored Lambda Calculus☆47Updated 12 years ago
- Tiny Scheme interpreter, suitable for use as a livecoded demo☆23Updated 15 years ago
- A Web Framework for LFE☆18Updated 8 years ago
- Block is Array (See also https://github.com/raviqqe/block-is-hash)☆20Updated 8 years ago
- a modular, macro-ular, totally tubular language for the Rubinius VM. #atomo @ freenode☆53Updated 8 years ago
- Immutable Struct-like record structures based on Hamster.☆35Updated 9 years ago
- ShenRuby is a port of the Shen programming language to Ruby☆77Updated 5 years ago
- Font for turning J into APL☆12Updated 6 years ago
- A Lisp dialect of Ruby☆25Updated 7 years ago
- A small, simple and incomplete Lisp/Scheme interpreter written in Ruby☆12Updated 10 years ago
- A high-level, light-weight web framework for Ruby with many ideas from Seaside.☆117Updated 4 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Ruby with Logic, a prolog-style logic programming system for Ruby☆31Updated 7 years ago
- Privacy focused website analytics.☆38Updated 3 years ago
- Io-to-JavaScript compiler☆25Updated 7 years ago
- Programming without Null☆80Updated last year