GitHub repository: Kakadu/noCanren
Primary language: OCaml
Description: Translator from subset of OCaml to OCanren