Languages
Analyzed
about 16 hours
ago.
based on code collected
about 16 hours
ago.
| Total Lines : | 11,123 | Code Lines : | 7,898 | Percent Code Lines : | 71.0% | ||
| Number of Languages : | 6 | Total Comment Lines : | 1,550 | Percent Comment Lines : | 13.9% | ||
| Total Blank Lines : | 1,675 | Percent Blank Lines : | 15.1% |
Code, Comments and Blank Lines
LOC by Language
Language Breakdown
| Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
|---|---|---|---|---|---|---|---|
| coq | 3,525 | 96 | 2.7% | 468 | 4,089 | 36.8% | |
| DOS batch script | 1,750 | 14 | 0.8% | 266 | 2,030 | 18.3% | |
| Make | 1,625 | 115 | 6.6% | 319 | 2,059 | 18.5% | |
| C | 550 | 16 | 2.8% | 41 | 607 | 5.5% | |
| Python | 364 | 1,309 | 78.2% | 574 | 2,247 | 20.2% | |
| CSS | 84 | 0 | 0.0% | 7 | 91 | 0.8% | |
| Totals | 7,898 | 1,550 | 1,675 | 11,123 | |||