GitHub repository: klassen-software-solutions/ksscontract
Primary language: C++
Description: C++ tools to assist with "programming by contract"