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