20
I Use This!
Very High Activity

Languages

Analyzed 1 day ago. based on code collected 1 day ago.

Total Lines : 475,769 Code Lines : 342,944 Percent Code Lines : 72.1%
Number of Languages : 17 Total Comment Lines : 59,803 Percent Comment Lines : 12.6%
Total Blank Lines : 73,022 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 240,588 43,471 15.3% 45,074 329,133
69.2%
  coq 82,121 13,319 14.0% 23,147 118,587
24.9%
  TeX/LaTeX 5,134 352 6.4% 1,059 6,545
1.4%
  shell script 4,900 1,005 17.0% 1,517 7,422
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 342,944 59,803 73,022 475,769