GitHub repository: JetBrains-Research/OCanren
Primary language: TeX
Description: Statically typed embedding of miniKanren relational programming language into Objective Caml