sibkod/v

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.

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.

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.

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.

LanguageFilesLinesCodeCommentsBlanks
Coq23595030834445261982838729
C1432612271856944353531998
C Header2961817031002156521016278
JSON766256615010
GLSL824551724338393
CSS812541175970
HTML381136100320113
Shell16846545110191
JavaScript55334802825
Batch13632981154
Objective-C43292394941
Makefile2265219541

Top language (Coq 59.8%). Generated at .

Reproduce this report

Reproduce this exact report and configuration.

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

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 12 languages, counted by tokei.