Languages
Analyzed
1 day
ago.
based on code collected
1 day
ago.
| Total Lines : | 898,909 | Code Lines : | 761,693 | Percent Code Lines : | 84.7% | ||
| Number of Languages : | 11 | Total Comment Lines : | 61,085 | Percent Comment Lines : | 6.8% | ||
| Total Blank Lines : | 76,131 | Percent Blank Lines : | 8.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 | 735,713 | 55,954 | 7.1% | 71,107 | 862,774 | 96.0% | |
| C | 10,529 | 3,975 | 27.4% | 2,257 | 16,761 | 1.9% | |
| TeX/LaTeX | 9,423 | 361 | 3.7% | 1,500 | 11,284 | 1.3% | |
| OCaml | 3,655 | 355 | 8.9% | 673 | 4,683 | 0.5% | |
| Make | 1,776 | 327 | 15.5% | 499 | 2,602 | 0.3% | |
| shell script | 269 | 87 | 24.4% | 49 | 405 | 0.0% | |
| Python | 148 | 24 | 14.0% | 23 | 195 | 0.0% | |
| AWK | 92 | 2 | 2.1% | 5 | 99 | 0.0% | |
| Haskell | 73 | 0 | 0.0% | 17 | 90 | 0.0% | |
| HTML | 14 | 0 | 0.0% | 1 | 15 | 0.0% | |
| Emacs Lisp | 1 | 0 | 0.0% | 0 | 1 | 0.0% | |
| Totals | 761,693 | 61,085 | 76,131 | 898,909 | |||