*.cps linguist-detectable=false
benchmarks/* linguist-detectable=false
spec/* linguist-detectable=false