*.h linguist-language=C
*.c linguist-language=C
*.v linguist-language=Coq
benchmarks/** linguist-vendored