GitHub repository: sarvex/mini_kanren
Primary language: Ruby
Description: MiniKanren implementation in Ruby