# sibkod/v SLOC report

> As of 2026-10-15 (commit abb0a44f74e7), sibkod/v contains 986,632 total lines: 743,443 code, 150,355 comments, 92,834 blank, across 3,219 files in 28 languages (top: Coq 59.8%). Custom configuration (tests excluded, docs excluded, generated excluded). Counted with tokei via OctoCounts.

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.

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.

## Repository size insights

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 | 2,359 | 503,083 | 444,526 | 19,828 | 38,729 |
| C | 143 | 261,227 | 185,694 | 43,535 | 31,998 |
| C Header | 296 | 181,703 | 100,215 | 65,210 | 16,278 |
| JSON | 7 | 6,625 | 6,615 | 0 | 10 |
| GLSL | 8 | 2,455 | 1,724 | 338 | 393 |
| CSS | 8 | 1,254 | 1,175 | 9 | 70 |
| HTML | 38 | 1,136 | 1,003 | 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 |

Top language (Coq 59.8%). Generated at 2026-10-15T15:02:36.332040672+00:00. Canonical report: https://octocounts.com/github/sibkod/v

## Reproduce this report

[Reproduce this exact report and configuration](https://octocounts.com/github/sibkod/v/commit/abb0a44f74e74a0e9b08e211c265dd4d044a9f27?analysis=%7B%22ignoredDirs%22%3A%5B%5D%2C%22ignoredLanguages%22%3A%5B%5D%2C%22profile%22%3A%22default%22%2C%22includeDocs%22%3Afalse%2C%22includeTests%22%3Afalse%2C%22includeGenerated%22%3Afalse%7D&reportId=a46cbdcae0fab1aa14d46e2aed89acdef3fee02e91610a7c0e438f2658041bcc).

## Report FAQ

### How many lines of code does sibkod/v have?

sibkod/v has 986,632 total lines, including 743,443 code lines, 150,355 comment lines, and 92,834 blank lines.

### How was the sibkod/v line count measured?

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.

### What commit was counted for sibkod/v?

This OctoCounts report was generated from master at commit abb0a44f74e7 on 2026-10-15T15:02:36.332040672+00:00.

## Similar repository reports

- [FeSens/openTPU](https://octocounts.com/github/FeSens/openTPU) — Coq, 181,871 code lines

## Related OctoCounts pages

- [Recently analyzed repositories](https://octocounts.com/recent)
- [Popular SLOC reports](https://octocounts.com/popular)
- [Trending GitHub repositories](https://octocounts.com/trending)
- [Hall of Monoliths](https://octocounts.com/hall-of-monoliths)
- [GitHub SLOC counter guide](https://octocounts.com/docs/github-sloc-counter)
- [Counting methodology](https://octocounts.com/docs/methodology)
- [SLOC and code metrics glossary](https://octocounts.com/docs/glossary)
- [Original research: how filtering changes SLOC counts](https://octocounts.com/research)
- [OctoCounts API docs](https://octocounts.com/docs/api)