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