Total Lines : | 14,293 | Code Lines : | 11,634 | Percent Code Lines : | 81.4% | ||
Number of Languages : | 5 | Total Comment Lines : | 662 | Percent Comment Lines : | 4.6% | ||
Total Blank Lines : | 1,997 | Percent Blank Lines : | 14.0% |
Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
---|---|---|---|---|---|---|---|
C++ | 10,688 | 629 | 5.6% | 1,800 | 13,117 | 91.8% | |
coq | 367 | 0 | 0.0% | 80 | 447 | 3.1% | |
Python | 230 | 2 | 0.9% | 19 | 251 | 1.8% | |
shell script | 193 | 19 | 9.0% | 62 | 274 | 1.9% | |
Make | 156 | 12 | 7.1% | 36 | 204 | 1.4% | |
Totals | 11,634 | 662 | 1,997 | 14,293 | |||