Languages
Analyzed
about 14 hours
ago.
based on code collected
about 14 hours
ago.
| Total Lines : | 458,059 | Code Lines : | 265,671 | Percent Code Lines : | 58.0% | ||
| Number of Languages : | 10 | Total Comment Lines : | 110,176 | Percent Comment Lines : | 24.1% | ||
| Total Blank Lines : | 82,212 | Percent Blank Lines : | 17.9% |
Code, Comments and Blank Lines
LOC by Language
Language Breakdown
| Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
|---|---|---|---|---|---|---|---|
| coq | 250,055 | 106,968 | 30.0% | 78,515 | 435,538 | 95.1% | |
| VHDL | 9,310 | 2,315 | 19.9% | 2,844 | 14,469 | 3.2% | |
| Tcl | 2,874 | 293 | 9.3% | 175 | 3,342 | 0.7% | |
| XML | 1,143 | 0 | 0.0% | 0 | 1,143 | 0.2% | |
| C | 795 | 397 | 33.3% | 313 | 1,505 | 0.3% | |
| C++ | 719 | 82 | 10.2% | 194 | 995 | 0.2% | |
| Python | 548 | 33 | 5.7% | 87 | 668 | 0.1% | |
| Assembly | 106 | 72 | 40.4% | 31 | 209 | 0.0% | |
| shell script | 71 | 16 | 18.4% | 34 | 121 | 0.0% | |
| Make | 50 | 0 | 0.0% | 19 | 69 | 0.0% | |
| Totals | 265,671 | 110,176 | 82,212 | 458,059 | |||