Skip to content

leanprover-community/plausible

View on GitHub ↗Related repositories →

Lean · active 2024-10-23 → 2026-09-16 (UTC)

Complete coverage28,529 / 28,529 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-15 (UTC)
Events
379
Pushes
69
Pull requests
75
Issues
4
Stars
51
Forks
9

Activity over time

Daily event counts in the loaded window

Line chart, 694 days from 2024-10-23 to 2026-09-16. Pushes: 69 total, peak 7 in a day. Pull requests: 75 total, peak 6 in a day. Issues: 4 total, peak 1 in a day. Comments: 63 total, peak 25 in a day. Stars: 51 total, peak 5 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

ContributorContributionsPushesPRsComments
kim-em9951480
ngernest370217
hargoniX3411410
kmill200018
codyroux16019
eric-wieser12018
jcommelin9360
Vierkantor7160
Garmelon4310
siddhartha-gadgil3011
Seasawher2000
Kha1010
tom931010
hgoldstein951010
alok1010
mdbrnowski1010
ldct1000

Recent activity

Latest issues, pull requests and releases

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 51 stars here means stars gained during the window, not the repo's star count.