GitHub repository: nuscr/oven
Primary language: OCaml
Description: A tool for handling Synthetic MPST specificifications