0
I Use This!
High Activity

Languages

Analyzed about 13 hours ago. based on code collected 1 day ago.

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%

Code, Comments and Blank Lines



LOC by Language

Language Breakdown

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