Languages
Analyzed
1 day
ago.
based on code collected
1 day
ago.
| Total Lines : | 1,314 | Code Lines : | 1,091 | Percent Code Lines : | 83.0% | ||
| Number of Languages : | 1 | Total Comment Lines : | 0 | Percent Comment Lines : | 0.0% | ||
| Total Blank Lines : | 223 | Percent Blank Lines : | 17.0% |
Code, Comments and Blank Lines
LOC by Language
Language Breakdown
| Language | Code Lines | Comment Lines | Comment Ratio | Blank Lines | Total Lines | Total Percentage | |
|---|---|---|---|---|---|---|---|
| coq | 1,091 | 0 | 0.0% | 223 | 1,314 | 100.0% | |
| Totals | 1,091 | 0 | 223 | 1,314 | |||