Languages
Analyzed
1 day
ago.
based on code collected
1 day
ago.
| Total Lines : | 106,521 | Code Lines : | 96,373 | Percent Code Lines : | 90.5% | ||
| Number of Languages : | 9 | Total Comment Lines : | 1,859 | Percent Comment Lines : | 1.7% | ||
| Total Blank Lines : | 8,289 | Percent Blank Lines : | 7.8% |
Code, Comments and Blank Lines
LOC by Language
Language Breakdown
| Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
|---|---|---|---|---|---|---|---|
| coq | 58,611 | 500 | 0.8% | 6,158 | 65,269 | 61.3% | |
| HTML | 28,369 | 0 | 0.0% | 1,101 | 29,470 | 27.7% | |
| C | 6,830 | 850 | 11.1% | 543 | 8,223 | 7.7% | |
| Make | 1,068 | 39 | 3.5% | 170 | 1,277 | 1.2% | |
| shell script | 1,018 | 185 | 15.4% | 204 | 1,407 | 1.3% | |
| C++ | 198 | 19 | 8.8% | 18 | 235 | 0.2% | |
| Python | 156 | 266 | 63.0% | 84 | 506 | 0.5% | |
| Assembly | 93 | 0 | 0.0% | 11 | 104 | 0.1% | |
| Tcl | 30 | 0 | 0.0% | 0 | 30 | 0.0% | |
| Totals | 96,373 | 1,859 | 8,289 | 106,521 | |||