GitHub repository: tudasc/CoVer
Primary language: C++
Description: An extensible contracts framework for parallel programming models