Total Lines : | 35,204 | Code Lines : | 26,074 | Percent Code Lines : | 74.1% | ||
Number of Languages : | 8 | Total Comment Lines : | 4,204 | Percent Comment Lines : | 11.9% | ||
Total Blank Lines : | 4,926 | Percent Blank Lines : | 14.0% |
Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
---|---|---|---|---|---|---|---|
coq | 14,018 | 1,969 | 12.3% | 2,679 | 18,666 | 53.0% | |
Autoconf | 6,803 | 0 | 0.0% | 1,003 | 7,806 | 22.2% | |
OCaml | 3,296 | 1,442 | 30.4% | 778 | 5,516 | 15.7% | |
shell script | 570 | 121 | 17.5% | 101 | 792 | 2.2% | |
C | 527 | 641 | 54.9% | 126 | 1,294 | 3.7% | |
Make | 507 | 27 | 5.1% | 207 | 741 | 2.1% | |
Assembly | 304 | 0 | 0.0% | 27 | 331 | 0.9% | |
CSS | 49 | 4 | 7.5% | 5 | 58 | 0.2% | |
Totals | 26,074 | 4,204 | 4,926 | 35,204 | |||