GitHub repository: michaelballantyne/hosted-minikanren
Primary language: Racket
Description: An optimizing compiler implementation of miniKanren for Racket