Languages
Analyzed
about 23 hours
ago.
based on code collected
about 23 hours
ago.
| Total Lines : | 47,240 | Code Lines : | 34,581 | Percent Code Lines : | 73.2% | ||
| Number of Languages : | 8 | Total Comment Lines : | 4,045 | Percent Comment Lines : | 8.6% | ||
| Total Blank Lines : | 8,614 | Percent Blank Lines : | 18.2% |
Code, Comments and Blank Lines
LOC by Language
Language Breakdown
| Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
|---|---|---|---|---|---|---|---|
| coq | 19,919 | 3,494 | 14.9% | 6,619 | 30,032 | 63.6% | |
| OCaml | 13,327 | 455 | 3.3% | 1,787 | 15,569 | 33.0% | |
| Ruby | 411 | 0 | 0.0% | 89 | 500 | 1.1% | |
| Python | 378 | 67 | 15.1% | 64 | 509 | 1.1% | |
| XML | 296 | 0 | 0.0% | 3 | 299 | 0.6% | |
| Nix | 117 | 12 | 9.3% | 20 | 149 | 0.3% | |
| Make | 91 | 4 | 4.2% | 20 | 115 | 0.2% | |
| shell script | 42 | 13 | 23.6% | 12 | 67 | 0.1% | |
| Totals | 34,581 | 4,045 | 8,614 | 47,240 | |||