GitHub repository: stable-Kanren/stable-Kanren
Primary language: Scheme
Description: Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.