Languages
Analyzed
1 day
ago.
based on code collected
2 days
ago.
| Total Lines : | 664,658 | Code Lines : | 493,358 | Percent Code Lines : | 74.2% | ||
| Number of Languages : | 18 | Total Comment Lines : | 73,975 | Percent Comment Lines : | 11.1% | ||
| Total Blank Lines : | 97,325 | Percent Blank Lines : | 14.6% |
Code, Comments and Blank Lines
LOC by Language
Language Breakdown
| Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
|---|---|---|---|---|---|---|---|
| coq | 241,528 | 28,138 | 10.4% | 49,405 | 319,071 | 48.0% | |
| OCaml | 231,825 | 42,654 | 15.5% | 43,227 | 317,706 | 47.8% | |
| TeX/LaTeX | 5,134 | 352 | 6.4% | 1,060 | 6,546 | 1.0% | |
| shell script | 4,864 | 1,013 | 17.2% | 1,513 | 7,390 | 1.1% | |
| Python | 3,292 | 1,083 | 24.8% | 978 | 5,353 | 0.8% | |
| C | 2,595 | 280 | 9.7% | 334 | 3,209 | 0.5% | |
| CSS | 1,420 | 156 | 9.9% | 239 | 1,815 | 0.3% | |
| Make | 880 | 165 | 15.8% | 181 | 1,226 | 0.2% | |
| XML | 494 | 7 | 1.4% | 26 | 527 | 0.1% | |
| Nix | 351 | 42 | 10.7% | 70 | 463 | 0.1% | |
| HTML | 334 | 0 | 0.0% | 79 | 413 | 0.1% | |
| Ruby | 252 | 0 | 0.0% | 130 | 382 | 0.1% | |
| Emacs Lisp | 174 | 33 | 15.9% | 35 | 242 | 0.0% | |
| JavaScript | 87 | 31 | 26.3% | 18 | 136 | 0.0% | |
| DOS batch script | 45 | 14 | 23.7% | 17 | 76 | 0.0% | |
| Perl | 45 | 1 | 2.2% | 5 | 51 | 0.0% | |
| AMPL | 27 | 6 | 18.2% | 5 | 38 | 0.0% | |
| Autoconf | 11 | 0 | 0.0% | 3 | 14 | 0.0% | |
| Totals | 493,358 | 73,975 | 97,325 | 664,658 | |||