GitHub repository: ocaml-gospel/ortac
Primary language: OCaml
Description: Runtime assertion checking based on Gospel specifications