GitHub repository: spechub/Hets
Primary language: Haskell
Description: The Heterogeneous Tool Set