Languages
Analyzed
about 21 hours
ago.
based on code collected
about 21 hours
ago.
| Total Lines : | 254,517 | Code Lines : | 205,624 | Percent Code Lines : | 80.8% | ||
| Number of Languages : | 10 | Total Comment Lines : | 23,409 | Percent Comment Lines : | 9.2% | ||
| Total Blank Lines : | 25,484 | Percent Blank Lines : | 10.0% |
Code, Comments and Blank Lines
LOC by Language
Language Breakdown
| Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
|---|---|---|---|---|---|---|---|
| coq | 170,545 | 14,896 | 8.0% | 20,024 | 205,465 | 80.7% | |
| OCaml | 29,147 | 5,205 | 15.2% | 4,405 | 38,757 | 15.2% | |
| Assembly | 2,447 | 1,891 | 43.6% | 385 | 4,723 | 1.9% | |
| C | 904 | 1,226 | 57.6% | 278 | 2,408 | 0.9% | |
| Autoconf | 866 | 0 | 0.0% | 94 | 960 | 0.4% | |
| Ruby | 679 | 0 | 0.0% | 63 | 742 | 0.3% | |
| Make | 468 | 160 | 25.5% | 150 | 778 | 0.3% | |
| HTML | 301 | 0 | 0.0% | 44 | 345 | 0.1% | |
| shell script | 220 | 31 | 12.4% | 41 | 292 | 0.1% | |
| CSS | 47 | 0 | 0.0% | 0 | 47 | 0.0% | |
| Totals | 205,624 | 23,409 | 25,484 | 254,517 | |||