GitHub repository: AestheticIntegration/imandra-reason-parser
Primary language: OCaml
Description: Reason parser for Imandra (fork of reason's parser)