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
- ☆84Updated 9 years ago
- Monads & ADTs in Ruby☆27Updated 5 years ago
- A dynamic OO language with ideas traditionally described as "functional"☆80Updated 2 years ago
- Clojure-like Lisp on Rubinius☆96Updated 4 years ago
- Block is Array (See also https://github.com/raviqqe/block-is-hash)☆20Updated 8 years ago
- A project cataloguing, preserving, and dissecting compilers for the Ruby programming language☆17Updated 2 years ago
- Forward messages to collaborators in East-oriented style.☆14Updated 2 months ago
- a modular, macro-ular, totally tubular language for the Rubinius VM. #atomo @ freenode☆53Updated 8 years ago
- ADTs for Ruby☆24Updated 12 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 interpretation of Potion on the Rubinius language platform.☆36Updated 11 years ago
- Dataflow concurrency for Ruby (inspired by the Oz language)☆125Updated 15 years ago
- A Web Framework for LFE☆18Updated 9 years ago
- A demonstration of STM in Ruby using the Lee benchmark☆13Updated 4 years ago
- A Prolog DSL and interpreter for Ruby☆31Updated 10 years ago
- A universal S-expression parser for Ruby.☆52Updated last year
- ShenRuby is a port of the Shen programming language to Ruby☆77Updated 6 years ago
- Ruby virtual DOM for HTML☆56Updated 6 years ago
- Haskell library to parse a subset of Ruby objects serialised with Marshal.dump☆33Updated 2 years ago
- An ML-like language featuring native compilation.☆18Updated 10 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 9 years ago
- EBNF parser and generic parser generator for Ruby.☆125Updated 3 months ago
- A high-level, light-weight web framework for Ruby with many ideas from Seaside.☆117Updated 4 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 14 years ago
- ruby lambda proc tools for functional programming and arrows☆28Updated 10 years ago
- A simple interpreted language written in Elixir☆22Updated 8 years ago
- wescheme☆27Updated 4 months ago