Languages
Analyzed
4 months
ago.
based on code collected
5 months
ago.
| Total Lines : |
974 |
|
Code Lines : |
775 |
|
Percent Code Lines : |
79.6% |
| Number of Languages : |
5 |
|
Total Comment Lines : |
75 |
|
Percent Comment Lines : |
7.7% |
|
|
|
Total Blank Lines : |
124 |
|
Percent Blank Lines : |
12.7% |
Code, Comments and Blank Lines
Language Breakdown
|
|
Language |
Code Lines |
Comment Lines |
Comment Ratio |
Blank Lines |
Total Lines |
Total Percentage |
| |
coq
|
538 |
0 |
0.0% |
69 |
607 |
62.3%
|
| |
C++
|
173 |
24 |
12.2% |
19 |
216 |
22.2%
|
| |
Python
|
61 |
51 |
45.5% |
36 |
148 |
15.2%
|
| |
C
|
2 |
0 |
0.0% |
0 |
2 |
0.2%
|
| |
Autoconf
|
1 |
0 |
0.0% |
0 |
1 |
0.1%
|
|
Totals |
775 |
75 |
|
124 |
974 |
|
|
