GitHub repository: mariojppereira/gospel
Primary language: OCaml
Description: A tool-agnostic formal specification language for OCaml.