# tristanbuckmaster/fluid_lean SLOC report

> As of 2026-09-08 (commit d0124689230b), tristanbuckmaster/fluid_lean contains 1,685,565 total lines: 1,578,291 code, 368 comments, 106,906 blank, across 3,627 files in 5 languages (top: Lean 100.0%). Counted with tokei via OctoCounts.

OctoCounts produced this report by resolving tristanbuckmaster/fluid_lean to commit d0124689230b, 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 93.6% of all lines, comments represent 0.0%, and the repository averages 435 code lines per file. Lean accounts for 100.0% of counted code.

| Language | Files | Lines | Code | Comments | Blanks |
| --- | ---: | ---: | ---: | ---: | ---: |
| Lean | 3,612 | 1,684,580 | 1,577,600 | 168 | 106,812 |
| JSON | 6 | 390 | 390 | 0 | 0 |
| YAML | 3 | 270 | 232 | 9 | 29 |
| TOML | 3 | 96 | 69 | 8 | 19 |
| Markdown | 3 | 229 | 0 | 183 | 46 |

Top language (Lean 100.0%). Generated at 2026-09-08T15:39:37.048945479+00:00. Canonical report: https://octocounts.com/github/tristanbuckmaster/fluid_lean

## Report FAQ

### How many lines of code does tristanbuckmaster/fluid_lean have?

tristanbuckmaster/fluid_lean has 1,685,565 total lines, including 1,578,291 code lines, 368 comment lines, and 106,906 blank lines.

### How was the tristanbuckmaster/fluid_lean line count measured?

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

### What commit was counted for tristanbuckmaster/fluid_lean?

This OctoCounts report was generated from main at commit d0124689230b on 2026-09-08T15:39:37.048945479+00:00.

## Similar repository reports

- [anthropics/fermats-last-theorem](https://octocounts.com/github/anthropics/fermats-last-theorem) — Lean, 12,213,865 code lines
- [v8/v8](https://octocounts.com/github/v8/v8) — C++, 1,568,934 code lines
- [FFmpeg/FFmpeg](https://octocounts.com/github/FFmpeg/FFmpeg) — C, 1,564,504 code lines
- [diegosouzapw/OmniRoute](https://octocounts.com/github/diegosouzapw/OmniRoute) — JSON, 1,600,047 code lines
- [can1357/oh-my-pi](https://octocounts.com/github/can1357/oh-my-pi) — JSON, 1,606,157 code lines
- [swc-project/swc](https://octocounts.com/github/swc-project/swc) — JavaScript, 1,608,773 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)
- [OctoCounts API docs](https://octocounts.com/docs/api)