GitHub repository: Coquera/psmt2-frontend
Primary language: OCaml
Description: A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language