GitHub repository: rvarago/cpp_refined
Primary language: C++
Description: *EXPERIMENTAL* Types + Predicates in C++, sort-of