Languages
Analyzed
4 months
ago.
based on code collected
5 months
ago.
| Total Lines : |
8,096 |
|
Code Lines : |
6,404 |
|
Percent Code Lines : |
79.1% |
| Number of Languages : |
9 |
|
Total Comment Lines : |
603 |
|
Percent Comment Lines : |
7.4% |
|
|
|
Total Blank Lines : |
1,089 |
|
Percent Blank Lines : |
13.5% |
Code, Comments and Blank Lines
Language Breakdown
|
|
Language |
Code Lines |
Comment Lines |
Comment Ratio |
Blank Lines |
Total Lines |
Total Percentage |
| |
coq
|
5,392 |
345 |
6.0% |
809 |
6,546 |
80.9%
|
| |
C
|
314 |
83 |
20.9% |
97 |
494 |
6.1%
|
| |
C++
|
286 |
6 |
2.1% |
51 |
343 |
4.2%
|
| |
Python
|
212 |
40 |
15.9% |
47 |
299 |
3.7%
|
| |
Assembly
|
74 |
82 |
52.6% |
34 |
190 |
2.3%
|
| |
Tcl
|
71 |
30 |
29.7% |
29 |
130 |
1.6%
|
| |
DOS batch script
|
26 |
1 |
3.7% |
8 |
35 |
0.4%
|
| |
Make
|
18 |
6 |
25.0% |
6 |
30 |
0.4%
|
| |
CMake
|
11 |
10 |
47.6% |
8 |
29 |
0.4%
|
|
Totals |
6,404 |
603 |
|
1,089 |
8,096 |
|
|
