GitHub repository: miniKanren/Racket-miniKanren
Primary language: Racket
Description: Canonical miniKanren implementation in Racket