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