Languages
Analyzed
about 11 hours
ago.
based on code collected
about 12 hours
ago.
| Total Lines : | 478,239 | Code Lines : | 344,591 | Percent Code Lines : | 72.1% | ||
| Number of Languages : | 17 | Total Comment Lines : | 60,171 | Percent Comment Lines : | 12.6% | ||
| Total Blank Lines : | 73,477 | Percent Blank Lines : | 15.4% |
Code, Comments and Blank Lines
LOC by Language
Language Breakdown
| Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
|---|---|---|---|---|---|---|---|
| OCaml | 241,753 | 43,764 | 15.3% | 45,378 | 330,895 | 69.2% | |
| coq | 82,566 | 13,391 | 14.0% | 23,278 | 119,235 | 24.9% | |
| TeX/LaTeX | 5,134 | 352 | 6.4% | 1,059 | 6,545 | 1.4% | |
| shell script | 4,937 | 1,008 | 17.0% | 1,537 | 7,482 | 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 | 852 | 173 | 16.9% | 182 | 1,207 | 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 | 344,591 | 60,171 | 73,477 | 478,239 | |||