GitHub repository: pascutto/gospel
Primary language: OCaml
Description: Gospel is a tool-agnostic formal specification language for OCaml.