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