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