Languages
Analyzed
about 4 hours
ago.
based on code collected
about 4 hours
ago.
| Total Lines : | 197,173 | Code Lines : | 31,434 | Percent Code Lines : | 15.9% | ||
| Number of Languages : | 8 | Total Comment Lines : | 20,970 | Percent Comment Lines : | 10.6% | ||
| Total Blank Lines : | 144,769 | Percent Blank Lines : | 73.4% |
Code, Comments and Blank Lines
LOC by Language
Language Breakdown
| Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
|---|---|---|---|---|---|---|---|
| coq | 30,282 | 20,553 | 40.4% | 144,441 | 195,276 | 99.0% | |
| Assembly | 491 | 244 | 33.2% | 173 | 908 | 0.5% | |
| C | 321 | 121 | 27.4% | 102 | 544 | 0.3% | |
| C++ | 139 | 24 | 14.7% | 22 | 185 | 0.1% | |
| Tcl | 127 | 18 | 12.4% | 18 | 163 | 0.1% | |
| Python | 33 | 0 | 0.0% | 2 | 35 | 0.0% | |
| Make | 27 | 0 | 0.0% | 3 | 30 | 0.0% | |
| CMake | 14 | 10 | 41.7% | 8 | 32 | 0.0% | |
| Totals | 31,434 | 20,970 | 144,769 | 197,173 | |||