Languages
Analyzed
about 2 months
ago.
based on code collected
3 months
ago.
| Total Lines : | 38,668 | Code Lines : | 27,721 | Percent Code Lines : | 71.7% | ||
| Number of Languages : | 5 | Total Comment Lines : | 7,431 | Percent Comment Lines : | 19.2% | ||
| Total Blank Lines : | 3,516 | Percent Blank Lines : | 9.1% |
Code, Comments and Blank Lines
LOC by Language
Language Breakdown
| Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
|---|---|---|---|---|---|---|---|
| coq | 24,543 | 6,907 | 22.0% | 2,787 | 34,237 | 88.5% | |
| C | 2,464 | 365 | 12.9% | 581 | 3,410 | 8.8% | |
| Make | 439 | 103 | 19.0% | 103 | 645 | 1.7% | |
| shell script | 148 | 27 | 15.4% | 32 | 207 | 0.5% | |
| Assembly | 127 | 29 | 18.6% | 13 | 169 | 0.4% | |
| Totals | 27,721 | 7,431 | 3,516 | 38,668 | |||