Languages
Analyzed
about 12 hours
ago.
based on code collected
about 18 hours
ago.
| Total Lines : | 104,704 | Code Lines : | 53,685 | Percent Code Lines : | 51.3% | ||
| Number of Languages : | 14 | Total Comment Lines : | 30,312 | Percent Comment Lines : | 29.0% | ||
| Total Blank Lines : | 20,707 | Percent Blank Lines : | 19.8% |
Code, Comments and Blank Lines
LOC by Language
Language Breakdown
| Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
|---|---|---|---|---|---|---|---|
| Haskell | 42,398 | 25,465 | 37.5% | 17,193 | 85,056 | 81.2% | |
| coq | 6,036 | 4,175 | 40.9% | 2,251 | 12,462 | 11.9% | |
| Racket | 2,755 | 432 | 13.6% | 705 | 3,892 | 3.7% | |
| TeX/LaTeX | 821 | 91 | 10.0% | 245 | 1,157 | 1.1% | |
| HTML | 620 | 0 | 0.0% | 59 | 679 | 0.6% | |
| Nix | 432 | 43 | 9.1% | 95 | 570 | 0.5% | |
| Make | 209 | 17 | 7.5% | 75 | 301 | 0.3% | |
| Rust | 129 | 47 | 26.7% | 38 | 214 | 0.2% | |
| Emacs Lisp | 81 | 3 | 3.6% | 16 | 100 | 0.1% | |
| CSS | 75 | 0 | 0.0% | 1 | 76 | 0.1% | |
| shell script | 57 | 10 | 14.9% | 14 | 81 | 0.1% | |
| Java | 26 | 5 | 16.1% | 4 | 35 | 0.0% | |
| XML | 26 | 4 | 13.3% | 6 | 36 | 0.0% | |
| JavaScript | 20 | 20 | 50.0% | 5 | 45 | 0.0% | |
| Totals | 53,685 | 30,312 | 20,707 | 104,704 | |||