Languages
Analyzed
about 8 hours
ago.
based on code collected
about 8 hours
ago.
| Total Lines : | 288,505 | Code Lines : | 234,020 | Percent Code Lines : | 81.1% | ||
| Number of Languages : | 13 | Total Comment Lines : | 20,718 | Percent Comment Lines : | 7.2% | ||
| Total Blank Lines : | 33,767 | Percent Blank Lines : | 11.7% |
Code, Comments and Blank Lines
LOC by Language
Language Breakdown
| Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
|---|---|---|---|---|---|---|---|
| coq | 115,584 | 11,554 | 9.1% | 22,818 | 149,956 | 52.0% | |
| Haskell | 106,000 | 6,516 | 5.8% | 7,793 | 120,309 | 41.7% | |
| Make | 11,170 | 1,902 | 14.6% | 2,601 | 15,673 | 5.4% | |
| C | 742 | 547 | 42.4% | 380 | 1,669 | 0.6% | |
| shell script | 155 | 13 | 7.7% | 27 | 195 | 0.1% | |
| Ruby | 139 | 23 | 14.2% | 41 | 203 | 0.1% | |
| Nix | 54 | 9 | 14.3% | 10 | 73 | 0.0% | |
| Perl | 52 | 3 | 5.5% | 12 | 67 | 0.0% | |
| C++ | 47 | 61 | 56.5% | 33 | 141 | 0.0% | |
| Python | 37 | 89 | 70.6% | 42 | 168 | 0.1% | |
| DOS batch script | 27 | 1 | 3.6% | 8 | 36 | 0.0% | |
| Emacs Lisp | 9 | 0 | 0.0% | 2 | 11 | 0.0% | |
| TeX/LaTeX | 4 | 0 | 0.0% | 0 | 4 | 0.0% | |
| Totals | 234,020 | 20,718 | 33,767 | 288,505 | |||