nandedamana/trirocq
nandedamana/trirocq has 7,409 source lines of code out of 9,418 total lines across 33 files, counted from the main ref at commit 8d484f69fdda by the OctoCounts tokei engine on 2026-10-22. The report is cached by commit, tokei version, and analysis options, so recounting the same revision returns exactly these numbers.
As of 2026-10-22 (commit 8d484f69fdda), nandedamana/trirocq contains 9,418 total lines: 7,409 code, 657 comments, 1,352 blank, across 33 files in 5 languages (top: Coq 94.5%). Custom configuration (tests excluded, docs excluded, generated excluded). Counted with tokei via OctoCounts.
OctoCounts produced this report by resolving nandedamana/trirocq to commit 8d484f69fdda, 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 small codebase by counted code lines. Code represents 78.7% of all lines, comments represent 7.0%, and the repository averages 225 code lines per file. Coq accounts for 94.5% of counted code.
| Language | Files | Lines | Code | Comments | Blanks |
|---|---|---|---|---|---|
| Coq | 26 | 8741 | 7003 | 516 | 1222 |
| TeX | 1 | 318 | 252 | 1 | 65 |
| C | 2 | 250 | 140 | 74 | 36 |
| Makefile | 2 | 19 | 14 | 1 | 4 |
| Markdown | 2 | 90 | 0 | 65 | 25 |
Top language (Coq 94.5%). Generated at .
Reproduce this report
Report FAQ
How many lines of code does nandedamana/trirocq have?
nandedamana/trirocq has 9,418 total lines, including 7,409 code lines, 657 comment lines, and 1,352 blank lines.
How was the nandedamana/trirocq line count measured?
OctoCounts resolved the public GitHub repository to commit 8d484f69fdda, downloaded the source archive, counted it with tokei, and cached the report by commit, tokei version, and analysis options.
What commit was counted for nandedamana/trirocq?
This OctoCounts report was generated from main at commit 8d484f69fdda on 2026-10-22T06:06:45.092525006+00:00.
Similar repository reports
Other public repositories with an OctoCounts report, ranked by top language and code size similarity:
- FeSens/openTPU — Coq, 181,871 code lines
- sibkod/v — Coq, 743,443 code lines
Play the growth animation for nandedamana/trirocq on this page — 7,409 code lines across 5 languages, counted by tokei.