Languages
Analyzed
about 1 year
ago.
based on code collected
about 1 year
ago.
| Total Lines : | 362,494 | Code Lines : | 277,655 | Percent Code Lines : | 76.6% | ||
| Number of Languages : | 12 | Total Comment Lines : | 43,531 | Percent Comment Lines : | 12.0% | ||
| Total Blank Lines : | 41,308 | Percent Blank Lines : | 11.4% |
Code, Comments and Blank Lines
LOC by Language
Language Breakdown
| Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
|---|---|---|---|---|---|---|---|
| coq | 167,926 | 14,848 | 8.1% | 19,784 | 202,558 | 55.9% | |
| C | 73,998 | 22,336 | 23.2% | 16,186 | 112,520 | 31.0% | |
| OCaml | 29,545 | 5,160 | 14.9% | 4,461 | 39,166 | 10.8% | |
| Assembly | 3,475 | 941 | 21.3% | 367 | 4,783 | 1.3% | |
| Autoconf | 784 | 0 | 0.0% | 87 | 871 | 0.2% | |
| Make | 762 | 155 | 16.9% | 267 | 1,184 | 0.3% | |
| Ruby | 667 | 0 | 0.0% | 61 | 728 | 0.2% | |
| HTML | 301 | 0 | 0.0% | 44 | 345 | 0.1% | |
| shell script | 101 | 23 | 18.5% | 23 | 147 | 0.0% | |
| CSS | 47 | 0 | 0.0% | 0 | 47 | 0.0% | |
| C++ | 34 | 67 | 66.3% | 26 | 127 | 0.0% | |
| Perl | 15 | 1 | 6.3% | 2 | 18 | 0.0% | |
| Totals | 277,655 | 43,531 | 41,308 | 362,494 | |||