Languages
Analyzed
about 4 hours
ago.
based on code collected
about 13 hours
ago.
| Total Lines : | 28,162 | Code Lines : | 21,439 | Percent Code Lines : | 76.1% | ||
| Number of Languages : | 5 | Total Comment Lines : | 2,409 | Percent Comment Lines : | 8.6% | ||
| Total Blank Lines : | 4,314 | 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 | |
|---|---|---|---|---|---|---|---|
| Autoconf | 7,763 | 0 | 0.0% | 1,185 | 8,948 | 31.8% | |
| coq | 7,672 | 1,066 | 12.2% | 1,828 | 10,566 | 37.5% | |
| OCaml | 5,274 | 1,145 | 17.8% | 1,116 | 7,535 | 26.8% | |
| shell script | 539 | 198 | 26.9% | 125 | 862 | 3.1% | |
| Make | 191 | 0 | 0.0% | 60 | 251 | 0.9% | |
| Totals | 21,439 | 2,409 | 4,314 | 28,162 | |||