Languages
Analyzed
about 1 hour
ago.
based on code collected
about 2 hours
ago.
| Total Lines : | 473,258 | Code Lines : | 341,124 | Percent Code Lines : | 72.1% | ||
| Number of Languages : | 17 | Total Comment Lines : | 59,558 | Percent Comment Lines : | 12.6% | ||
| Total Blank Lines : | 72,576 | Percent Blank Lines : | 15.3% |
Code, Comments and Blank Lines
LOC by Language
Language Breakdown
| Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
|---|---|---|---|---|---|---|---|
| OCaml | 239,562 | 43,327 | 15.3% | 44,868 | 327,757 | 69.3% | |
| coq | 81,300 | 13,231 | 14.0% | 22,881 | 117,412 | 24.8% | |
| TeX/LaTeX | 5,134 | 352 | 6.4% | 1,059 | 6,545 | 1.4% | |
| shell script | 4,923 | 992 | 16.8% | 1,543 | 7,458 | 1.6% | |
| Python | 3,014 | 903 | 23.1% | 847 | 4,764 | 1.0% | |
| C | 2,665 | 282 | 9.6% | 342 | 3,289 | 0.7% | |
| CSS | 1,484 | 155 | 9.5% | 258 | 1,897 | 0.4% | |
| Make | 856 | 173 | 16.8% | 182 | 1,211 | 0.3% | |
| HTML | 727 | 6 | 0.8% | 289 | 1,022 | 0.2% | |
| XML | 494 | 7 | 1.4% | 26 | 527 | 0.1% | |
| Nix | 353 | 42 | 10.6% | 70 | 465 | 0.1% | |
| Ruby | 263 | 0 | 0.0% | 132 | 395 | 0.1% | |
| Emacs Lisp | 173 | 37 | 17.6% | 35 | 245 | 0.1% | |
| JavaScript | 87 | 31 | 26.3% | 18 | 136 | 0.0% | |
| DOS batch script | 45 | 14 | 23.7% | 17 | 76 | 0.0% | |
| AMPL | 27 | 6 | 18.2% | 5 | 38 | 0.0% | |
| Autoconf | 17 | 0 | 0.0% | 4 | 21 | 0.0% | |
| Totals | 341,124 | 59,558 | 72,576 | 473,258 | |||