# nandedamana/trirocq SLOC report

> 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.

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.

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 | 8,741 | 7,003 | 516 | 1,222 |
| 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 2026-10-22T06:06:45.092525006+00:00. Canonical report: https://octocounts.com/github/nandedamana/trirocq

## Reproduce this report

[Reproduce this exact report and configuration](https://octocounts.com/github/nandedamana/trirocq/commit/8d484f69fdda735c760d1ad8b09b08fc0eda2452?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=89accab240636727879b780f62eae09991b9a67d775004f53cb372e408952afd).

## 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

- [FeSens/openTPU](https://octocounts.com/github/FeSens/openTPU) — Coq, 181,871 code lines
- [sibkod/v](https://octocounts.com/github/sibkod/v) — Coq, 743,443 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)