Languages
Analyzed
about 13 hours
ago.
based on code collected
about 17 hours
ago.
| Total Lines : | 3,090 | Code Lines : | 2,673 | Percent Code Lines : | 86.5% | ||
| Number of Languages : | 1 | Total Comment Lines : | 48 | Percent Comment Lines : | 1.6% | ||
| Total Blank Lines : | 369 | Percent Blank Lines : | 11.9% |
Code, Comments and Blank Lines
LOC by Language
Language Breakdown
| Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
|---|---|---|---|---|---|---|---|
| coq | 2,673 | 48 | 1.8% | 369 | 3,090 | 100.0% | |
| Totals | 2,673 | 48 | 369 | 3,090 | |||