GitHub repository: pacti-org/pacti
Primary language: Python
Description: A package for compositional system analysis and design