Total Lines : | 116,974 | Code Lines : | 87,535 | Percent Code Lines : | 74.8% | ||
Number of Languages : | 8 | Total Comment Lines : | 11,345 | Percent Comment Lines : | 9.7% | ||
Total Blank Lines : | 18,094 | Percent Blank Lines : | 15.5% |
Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
---|---|---|---|---|---|---|---|
coq | 86,214 | 10,913 | 11.2% | 17,701 | 114,828 | 98.2% | |
shell script | 454 | 158 | 25.8% | 169 | 781 | 0.7% | |
Python | 406 | 239 | 37.1% | 126 | 771 | 0.7% | |
CSS | 198 | 10 | 4.8% | 57 | 265 | 0.2% | |
Haskell | 123 | 7 | 5.4% | 19 | 149 | 0.1% | |
Lua | 94 | 4 | 4.1% | 11 | 109 | 0.1% | |
Nix | 35 | 0 | 0.0% | 5 | 40 | 0.0% | |
Make | 11 | 14 | 56.0% | 6 | 31 | 0.0% | |
Totals | 87,535 | 11,345 | 18,094 | 116,974 | |||