GitHub repository: oliverlee/constrained_value
Primary language: C++
Description: Embed invariants into types