GitHub repository: AestheticIntegration/bs-imandra-client
Primary language: OCaml
Description: Imandra client in Bucklescript (via child process)