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