Pinned Loading

1. miniKanren.lua miniKanren.lua Public

   Another implemention fo miniKanren in Lua

   Lua 24 4

2. lambda-interp lambda-interp Public

   Simple Lambda Calculus Interpreter implemented by Java

   Java 3

3. Robject-Validator Robject-Validator Public

   Ruby Object validator

   Ruby

4. rubysonar rubysonar Public

   Forked from yinwang0/rubysonar

   a type inferencer and indexer for Ruby

   Java