lean4 growth rates charts

Stream: general

[Quinn]

has anyone rendered any charts from survey or commit data to show lean4's growth?

[Quinn]

what's a good way to visualize commit volume over time?

[Quinn]

heck, even without visualizations, I'd love to just be able to get avg commits per week over the last year

[Kevin Buzzard]

Somehow this isn't a lean question but more like a git question.

[Jireh Loreaux]

@Quinn as a quick hack, you can do git log --since="<date>" --until="<date>" --oneline | wc to get the number of commits between any two dates.

[Quinn]

oh dope

[Quinn]

got a python script out of claude:

Overall Statistics:
Average commits per week: 49.49
Total commits: 7720
Most active week: Year 2022 Week 31 (170 commits)

Yearly Breakdown:

Year 2024:
  Total commits: 2301
  Average commits per week: 44.25
  Active weeks: 46/52
  Most active week: 08

Year 2023:
  Total commits: 929
  Average commits per week: 17.87
  Active weeks: 53/52
  Most active week: 41

Year 2022:
  Total commits: 4089
  Average commits per week: 78.63
  Active weeks: 53/52
  Most active week: 31

Year 2021:
  Total commits: 401
  Average commits per week: 7.71
  Active weeks: 13/52
  Most active week: 50

Year-over-Year Changes:
2021-2022: 919.7%
2022-2023: -77.3%
2023-2024: 147.7%

this is lean4 freshly pulled, will post mathlib results

[Quinn]

mathlib:

Overall Statistics:
Average commits per week: 100.57
Total commits: 15689
Most active week: Year 2024 Week 29 (303 commits)

Yearly Breakdown:

Year 2024:
  Total commits: 7681
  Average commits per week: 147.71
  Active weeks: 46/52
  Most active week: 29

Year 2023:
  Total commits: 7003
  Average commits per week: 134.67
  Active weeks: 53/52
  Most active week: 23

Year 2022:
  Total commits: 938
  Average commits per week: 18.04
  Active weeks: 52/52
  Most active week: 50

Year 2021:
  Total commits: 67
  Average commits per week: 1.29
  Active weeks: 7/52
  Most active week: 48

Year-over-Year Changes:
2021-2022: 1300.0%
2022-2023: 646.6%
2023-2024: 9.7%

[Kevin Buzzard]

For mathlib we have a page https://leanprover-community.github.io/mathlib_stats.html on the community website

[Marc Huisinga]

One thing muddying the commit data is that the Lean 4 repo moved to squash merging in 2023, so there are likely far fewer commits per change on average from that point onwards.