blackducksw/ohcount — pull request #14 by silene (2012-04-24 14:46:12+00:00)
Title: Add support for Coq .v files (based on the OCaml parser).

This patch adds support for recognizing and parsing Coq .v files. I basically copied the code for OCaml (except for strings).

Currently, there aren't many projects in Ohloh using Coq as a language (this is not really surprising, since the language is not recognized), so it is hard to tell how much of an impact it would have. Looking for projects that I am aware of, the main differences would be that:
- the "c-corn" project would go from 5 kloc to 160 kloc,
- the "coq" project would go from 190 kloc to 400 kloc,
- the "why3" project would go from 115 kloc to 230 kloc.