GitHub repository: michaelballantyne/faster-minikanren
Primary language: Scheme
Description: A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.