Languages
Analyzed
about 5 hours
ago.
based on code collected
1 day
ago.
| Total Lines : | 254,957 | Code Lines : | 205,983 | Percent Code Lines : | 80.8% | ||
| Number of Languages : | 10 | Total Comment Lines : | 23,428 | Percent Comment Lines : | 9.2% | ||
| Total Blank Lines : | 25,546 | 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,717 | 14,889 | 8.0% | 20,048 | 205,654 | 80.7% | |
| OCaml | 29,297 | 5,227 | 15.1% | 4,435 | 38,959 | 15.3% | |
| 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 | 492 | 160 | 24.5% | 155 | 807 | 0.3% | |
| HTML | 301 | 0 | 0.0% | 44 | 345 | 0.1% | |
| shell script | 233 | 35 | 13.1% | 44 | 312 | 0.1% | |
| CSS | 47 | 0 | 0.0% | 0 | 47 | 0.0% | |
| Totals | 205,983 | 23,428 | 25,546 | 254,957 | |||