sibkod/v has 743,443 source lines of code out of 986,632 total lines across 3,219 files, counted from the master ref at commit abb0a44f74e7 by the OctoCounts tokei engine on 2026-10-15. The report is cached by commit, tokei version, and analysis options, so recounting the same revision returns exactly these numbers.
sibkod/v: 743,443 code lines at commit abb0a44f74e7, counted with tokei-14.0.0 on 2026-10-15. Saved result a46cbdcae0fab1aa14d46e2aed89acdef3fee02e91610a7c0e438f2658041bcc.
OctoCounts produced this report by resolving sibkod/v to commit abb0a44f74e7, downloading the repository source archive, and counting every source file with tokei, the open-source line counter written in Rust. The table below breaks the count down by programming language into files, total lines, code lines, comment lines, and blank lines, so the figures can be compared across languages and projects. Results are cached by commit, tokei version, and analysis options, so counting the same revision again reproduces exactly these numbers.
This is a large codebase by counted code lines. Code represents 75.4% of all lines, comments represent 15.2%, and the repository averages 231 code lines per file. Coq accounts for 59.8% of counted code.
| Language | Files | Lines | Code | Comments | Blanks |
|---|---|---|---|---|---|
| Coq | 2359 | 503083 | 444526 | 19828 | 38729 |
| C | 143 | 261227 | 185694 | 43535 | 31998 |
| C Header | 296 | 181703 | 100215 | 65210 | 16278 |
| JSON | 7 | 6625 | 6615 | 0 | 10 |
| GLSL | 8 | 2455 | 1724 | 338 | 393 |
| CSS | 8 | 1254 | 1175 | 9 | 70 |
| HTML | 38 | 1136 | 1003 | 20 | 113 |
| Shell | 16 | 846 | 545 | 110 | 191 |
| JavaScript | 5 | 533 | 480 | 28 | 25 |
| Batch | 1 | 363 | 298 | 11 | 54 |
| Objective-C | 4 | 329 | 239 | 49 | 41 |
| Makefile | 2 | 265 | 219 | 5 | 41 |
| Go | 3 | 184 | 164 | 0 | 20 |
| C# | 1 | 193 | 153 | 0 | 40 |
| GNU Style Assembly | 3 | 108 | 79 | 11 | 18 |
| SVG | 11 | 64 | 64 | 0 | 0 |
| TypeScript | 1 | 141 | 64 | 48 | 29 |
| SQL | 1 | 122 | 46 | 38 | 38 |
| Ruby | 1 | 39 | 29 | 2 | 8 |
| TOML | 1 | 74 | 29 | 32 | 13 |
| Dockerfile | 2 | 34 | 23 | 1 | 10 |
| Python | 1 | 26 | 16 | 4 | 6 |
| AWK | 2 | 14 | 14 | 0 | 0 |
| MSBuild | 1 | 14 | 11 | 0 | 3 |
| Templ | 1 | 15 | 9 | 4 | 2 |
| XML | 1 | 9 | 9 | 0 | 0 |
| Markdown | 188 | 22461 | 0 | 18072 | 4389 |
| Plain Text | 114 | 3315 | 0 | 3000 | 315 |
Top language (Coq 59.8%). Generated at .
sibkod/v has 986,632 total lines, including 743,443 code lines, 150,355 comment lines, and 92,834 blank lines.
OctoCounts resolved the public GitHub repository to commit abb0a44f74e7, downloaded the source archive, counted it with tokei, and cached the report by commit, tokei version, and analysis options.
This OctoCounts report was generated from master at commit abb0a44f74e7 on 2026-10-15T15:02:36.332040672Z.
Other public repositories with an OctoCounts report, ranked by top language and code size similarity:
Play the growth animation for sibkod/v on this page — 743,443 code lines across 28 languages, counted by tokei.