Lean documentation authoring tool
JavaScript · active 2025-04-08 → 2026-08-10 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 490 days from 2025-04-08 to 2026-08-10. Pushes: 663 total, peak 17 in a day. Pull requests: 277 total, peak 10 in a day. Issues: 30 total, peak 3 in a day. Comments: 277 total, peak 17 in a day. Stars: 77 total, peak 2 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| david-christiansen | 649 | 269 | 158 | 117 |
| robsimmons | 214 | 115 | 28 | 51 |
| github-actions[bot] | 170 | 135 | 0 | 35 |
| github-merge-queue[bot] | 97 | 97 | 0 | 0 |
| jcreedcmu | 56 | 3 | 12 | 23 |
| kim-em | 42 | 20 | 22 | 0 |
| ejgallego | 27 | 0 | 5 | 11 |
| dependabot[bot] | 22 | 2 | 19 | 1 |
| leanprover-radar | 15 | 0 | 0 | 15 |
| SnO2WMaN | 9 | 0 | 4 | 3 |
| Vierkantor | 9 | 3 | 6 | 0 |
| kpadmasola | 8 | 0 | 1 | 4 |
| chatgpt-codex-connector[bot] | 6 | 0 | 0 | 4 |
| jrr6 | 6 | 0 | 3 | 2 |
| alok | 6 | 0 | 1 | 1 |
| Garmelon | 4 | 3 | 1 | 0 |
| b-mehta | 3 | 0 | 2 | 0 |
| lua-vr | 3 | 0 | 0 | 1 |
| algebraic-dev | 3 | 2 | 1 | 0 |
| Vtec234 | 3 | 2 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#906kim-em2026-07-07 23:19
- Pull request#884robsimmons2026-06-19 00:48
- Issue comment#846david-christiansen2026-06-05 06:00feat: for HTML output, add Table of Contents resize handle
- Issue comment#846github-actions[bot]2026-06-04 13:54feat: For HTML output, add Table of Contents resize handle
- Issue#274david-christiansen2026-06-04 06:11Syntax-highlight comments in verso code
- Pull request#861david-christiansen2026-05-27 12:01
- Pull request#858b-mehta2026-05-27 05:24
- Issue comment#858github-actions[bot]2026-05-22 13:50chore: expand warning for the `verso.code.warnLineLength` linter
- Issue comment#854github-actions[bot]2026-05-10 18:51perf: avoid re-exporting imported doc expanders
- Issue comment#851github-actions[bot]2026-05-01 06:17chore: add website to README
- Pull request#851david-christiansen2026-05-01 05:52
- Issue comment#443jcreedcmu2026-04-24 13:57feat: Add `Book` for bibliography
- Issue comment#847github-actions[bot]2026-04-24 08:06feat: search page
- Pull request#825kim-em2026-04-23 06:44
- Pull request#843david-christiansen2026-04-22 05:37
- Issue comment#825github-actions[bot]2026-04-21 05:49chore: add !consistent PR-comment auto-fix for lean-toolchain drift
- Issue comment#825github-actions[bot]2026-04-21 05:13chore: add !consistent PR-comment auto-fix for lean-toolchain drift
- Pull request#841Garmelon2026-04-18 12:21
- Issue#840ejgallego2026-04-17 12:12Support private or filtered xref-domain export for Manual HTML output
- Issue comment#838github-actions[bot]2026-04-14 07:04chore: format Python
- Issue comment#833github-actions[bot]2026-04-11 10:07chore: bump SubVerso
- Releasegithub-actions[bot]2026-04-11 06:04Verso manual (PDF and HTML)
- Releasegithub-actions[bot]2026-04-11 05:52Verso manual (PDF and HTML)
- Pull request#832david-christiansen2026-04-11 05:34
- Issue comment#830github-actions[bot]2026-04-10 12:25fix: add type annotation to metadata
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 77 stars here means stars gained during the window, not the repo's star count.