# openai/math SLOC report

> As of 2026-10-06 (commit adc7f1241b42), openai/math contains 26,409,974 total lines: 22,471,088 code, 296,532 comments, 3,642,354 blank, across 123,555 files in 9 languages (top: Lean 98.3%). Custom configuration (tests excluded, docs excluded, generated excluded). Counted with tokei via OctoCounts.

openai/math has 22,471,088 source lines of code out of 26,409,974 total lines across 123,555 files, counted from the adc7f1241b42e322a6451854ab7e4b4c146bf78a ref at commit adc7f1241b42 by the OctoCounts tokei engine on 2026-10-06. 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 openai/math to commit adc7f1241b42, 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 very large codebase by counted code lines. Code represents 85.1% of all lines, comments represent 1.1%, and the repository averages 182 code lines per file. Lean accounts for 98.3% of counted code.

| Language | Files | Lines | Code | Comments | Blanks |
| --- | ---: | ---: | ---: | ---: | ---: |
| Lean | 122,141 | 26,001,194 | 22,098,435 | 270,233 | 3,632,526 |
| JSON | 479 | 348,674 | 348,674 | 0 | 0 |
| Python | 125 | 21,280 | 18,948 | 425 | 1,907 |
| C++ | 14 | 2,326 | 2,257 | 26 | 43 |
| YAML | 1 | 1,668 | 1,283 | 4 | 381 |
| C++ Header | 3 | 877 | 844 | 19 | 14 |
| TeX | 2 | 1,070 | 647 | 0 | 423 |
| Markdown | 762 | 23,299 | 0 | 16,589 | 6,710 |
| Plain Text | 28 | 9,586 | 0 | 9,236 | 350 |

Top language (Lean 98.3%). Generated at 2026-10-06T23:16:26.034376024+00:00. Canonical report: https://octocounts.com/github/openai/math

## Reproduce this report

[Reproduce this exact report and configuration](https://octocounts.com/github/openai/math/commit/adc7f1241b42e322a6451854ab7e4b4c146bf78a?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).

## Report FAQ

### How many lines of code does openai/math have?

openai/math has 26,409,974 total lines, including 22,471,088 code lines, 296,532 comment lines, and 3,642,354 blank lines.

### How was the openai/math line count measured?

OctoCounts resolved the public GitHub repository to commit adc7f1241b42, downloaded the source archive, counted it with tokei, and cached the report by commit, tokei version, and analysis options.

### What commit was counted for openai/math?

This OctoCounts report was generated from adc7f1241b42e322a6451854ab7e4b4c146bf78a at commit adc7f1241b42 on 2026-10-06T23:16:26.034376024+00:00.

## Similar repository reports

- [anthropics/fermats-last-theorem](https://octocounts.com/github/anthropics/fermats-last-theorem) — Lean, 12,213,865 code lines
- [leanprover-community/mathlib4](https://octocounts.com/github/leanprover-community/mathlib4) — Lean, 1,586,361 code lines
- [tristanbuckmaster/fluid_lean](https://octocounts.com/github/tristanbuckmaster/fluid_lean) — Lean, 1,578,291 code lines
- [Maccraft123/linux-duet](https://octocounts.com/github/Maccraft123/linux-duet) — C, 21,512,207 code lines
- [mozilla-firefox/firefox](https://octocounts.com/github/mozilla-firefox/firefox) — C++, 24,533,926 code lines
- [jaredpalmer/kev](https://octocounts.com/github/jaredpalmer/kev) — JSON, 29,902,706 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)