Languages
Analyzed
4 months
ago.
based on code collected
5 months
ago.
Total Lines : |
465,080 |
|
Code Lines : |
335,680 |
|
Percent Code Lines : |
72.2% |
Number of Languages : |
17 |
|
Total Comment Lines : |
58,362 |
|
Percent Comment Lines : |
12.5% |
|
|
|
Total Blank Lines : |
71,038 |
|
Percent Blank Lines : |
15.3% |
Code, Comments and Blank Lines
Language Breakdown
|
Language |
Code Lines |
Comment Lines |
Comment Ratio |
Blank Lines |
Total Lines |
Total Percentage |
|
OCaml
|
236,136 |
42,627 |
15.3% |
43,990 |
322,753 |
69.4%
|
|
coq
|
79,446 |
12,631 |
13.7% |
22,205 |
114,282 |
24.6%
|
|
TeX/LaTeX
|
5,134 |
352 |
6.4% |
1,059 |
6,545 |
1.4%
|
|
shell script
|
4,739 |
986 |
17.2% |
1,465 |
7,190 |
1.5%
|
|
Python
|
3,052 |
1,023 |
25.1% |
952 |
5,027 |
1.1%
|
|
C
|
2,665 |
282 |
9.6% |
342 |
3,289 |
0.7%
|
|
CSS
|
1,456 |
156 |
9.7% |
250 |
1,862 |
0.4%
|
|
Make
|
864 |
162 |
15.8% |
179 |
1,205 |
0.3%
|
|
HTML
|
727 |
6 |
0.8% |
289 |
1,022 |
0.2%
|
|
XML
|
494 |
7 |
1.4% |
26 |
527 |
0.1%
|
|
Nix
|
351 |
42 |
10.7% |
70 |
463 |
0.1%
|
|
Ruby
|
263 |
0 |
0.0% |
132 |
395 |
0.1%
|
|
Emacs Lisp
|
175 |
37 |
17.5% |
35 |
247 |
0.1%
|
|
JavaScript
|
87 |
31 |
26.3% |
18 |
136 |
0.0%
|
|
DOS batch script
|
47 |
14 |
23.0% |
17 |
78 |
0.0%
|
|
AMPL
|
27 |
6 |
18.2% |
5 |
38 |
0.0%
|
|
Autoconf
|
17 |
0 |
0.0% |
4 |
21 |
0.0%
|
|
Totals |
335,680 |
58,362 |
|
71,038 |
465,080 |
|
|