GitHub repository: JoshuaJakowlew/constrained
Primary language: C++
Description: Utility library that helps expressing invariants in types