Languages
Analyzed
about 12 hours
ago.
based on code collected
about 13 hours
ago.
| Total Lines : | 480,501 | Code Lines : | 346,185 | Percent Code Lines : | 72.0% | ||
| Number of Languages : | 17 | Total Comment Lines : | 60,401 | Percent Comment Lines : | 12.6% | ||
| Total Blank Lines : | 73,915 | 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 | 242,588 | 43,925 | 15.3% | 45,557 | 332,070 | 69.1% | |
| coq | 83,267 | 13,460 | 13.9% | 23,507 | 120,234 | 25.0% | |
| TeX/LaTeX | 5,134 | 352 | 6.4% | 1,059 | 6,545 | 1.4% | |
| shell script | 4,995 | 1,008 | 16.8% | 1,567 | 7,570 | 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 | 346,185 | 60,401 | 73,915 | 480,501 | |||