Skip to content

active 2024-08-062024-09-24 (UTC) · 30 repositories

Partial coverage14,544 / 17,633 hourly files (82%) · 2 absent upstream · 3,089 failed, retryable2024-08-062026-08-11 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
2.7K
Pushes
715
Pull requests
444
Issues
9
Reviews
190
Repositories
30

Activity over time

Daily event counts in the loaded window

Line chart, 50 days from 2024-08-06 to 2024-09-24. Pushes: 715 total, peak 49 in a day. Pull requests: 444 total, peak 31 in a day. Issues: 9 total, peak 2 in a day.

  • Pushes
  • Pull requests
  • Issues

Repositories worked on

Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list

RepositoryContributionsPushesPRsIssuesCommentsLast seen
leanprover-community/mathlib49254387203012024-09-24
leanprover/lean457110926871182024-09-24
leanprover-community/batteries1347550062024-09-24
leanprover-community/import-graph321810022024-09-03
leanprover-community/aesop26168022024-09-17
leanprover-community/quote4211110002024-09-03
leanprover-community/ProofWidgets419118002024-09-03
leanprover/lean4checker844002024-09-03
opencompl/lean4770002024-09-24
leanprover-community/LeanSearchClient721022024-09-13
leanprover/doc-gen4523002024-09-03
leanprover-community/repl523002024-09-03
leanprover-community/leanprover-community.github.io422002024-09-19
semorrison/lean-monadic-list440002024-09-02
leanprover/vscode-lean4422002024-09-10
mattrobball/lean4440002024-08-24
Kha/lean4220002024-08-29
leanprover-community/blog211002024-09-18
siddhartha-gadgil/LeanSearchClient101002024-09-12
AlexKontorovich/PrimeNumberTheoremAnd101002024-09-12
fgdorais/lean4110002024-08-12
pimotte/batteries110002024-09-09
Parcly-Taxel/batteries110002024-08-26
leanprover/lean-action100102024-08-22
dupuisf/BibtexQuery100102024-09-03
euprunin/lean4110002024-09-24
kmill/lean4110002024-08-29
leanprover/lean4-pr-releases000002024-09-24
semorrison/PrimeNumberTheoremAnd000002024-09-12
leanprover-community/logic_and_proof000002024-08-28

Works with

People who contribute to the same repositories, ranked by how many they share · automation excluded, or every account would appear to work with everyone

ContributorShared reposRepositories in common
kim-em19
Garmelon13
Vierkantor13
eric-wieser11
Kha10
TwoFX10
b-mehta8
bryangingechen8
fpvandoorn8
kmill8
tydeu8
JovanGerb7
Ruben-VandeVelde7
SnirBroshi7
fgdorais7
hargoniX7
jcommelin7
nomeata7
Komyyy6
Rob23oba6
Seasawher6
adomani6
edegeltje6
grunweg6
joneugster6

Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.