Skip to content

active 2023-08-15 → 2024-09-24 (UTC) · 175 repositories

Complete coverage27,308 / 27,311 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-25 (UTC)
Events
26.8K
Pushes
7.2K
Pull requests
3.3K
Issues
234
Reviews
2.2K
Repositories
175

Activity over time

Daily event counts in the loaded window

Line chart, 407 days from 2023-08-15 to 2024-09-24. Pushes: 7,161 total, peak 73 in a day. Pull requests: 3,288 total, peak 46 in a day. Issues: 234 total, peak 9 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 · top 50

RepositoryContributionsPushesPRsIssuesCommentsLast seen
leanprover-community/mathlib48,6624.1K979252.5K2024-09-24
leanprover/lean44,1048181.2K1641.3K2024-09-24
leanprover/std42,17673139956002024-05-07
leanprover-community/batteries5903122011482024-09-24
leanprover-community/aesop319201991162024-09-17
semorrison/lean4203165140242024-06-26
leanprover-community/repl18411459472024-09-03
semorrison/std41481480002024-01-05
leanprover-community/ProofWidgets41075345082024-09-03
leanprover-community/leanprover-community.github.io10334320222024-09-19
leanprover/lean4checker965936012024-09-03
leanprover-community/import-graph965037062024-09-03
semorrison/mathlib473730002023-12-15
leanprover-community/quote4472222022024-09-23
leanprover/leansat472116062024-03-08
leanprover/lean-action2554492024-08-22
leanprover/LeanInk24614032023-08-23
leanprover/doc-gen423914002024-09-03
leanprover/vscode-lean422228102024-09-10
JLimperg/aesop22211362023-10-17
semorrison/lean-training-data19154002024-06-07
semorrison/pfr15150002023-12-05
leanprover-community/blog1462032024-09-18
Kha/lean414140002024-08-29
leanprover/reservoir1400952024-09-17
leanprover/redeclare12120002023-09-25
semorrison/LNSym12120002024-02-22
teorth/pfr1107022023-12-05
mhuisi/lean4-cli1102052023-08-27
digama0/lean411110002024-05-10
leanprover/elan1102352024-01-30
opencompl/lean410100002024-09-24
teorth/symmetric_project905022023-10-19
wellecks/llmstep903042023-08-21
leanprover-community/llm941222024-07-15
semorrison/LeanInk880002023-08-23
kmill/lean4880002024-08-29
leanprover/lean4-samples734002023-10-18
leanprover-community/LeanSearchClient721022024-09-13
david-christiansen/std4770002023-11-28
arthur-adjedj/lean4770002024-07-28
leanprover-community/lean-auto632102024-02-22
avigad/mathematics_in_lean_source605012024-07-16
nomeata/lean4checker660002023-11-16
ImperialCollegeLondon/FLT600042024-05-06
semorrison/aesop550002023-10-16
leanprover/leanprover.github.io504012023-10-15
mattrobball/lean4550002024-08-24
semorrison/lean-monadic-list440002024-09-02
semorrison/SciLean411012023-08-27

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-em28
digama026
eric-wieser23
Kha21
tydeu21
nomeata20
Seasawher18
hargoniX18
jcommelin18
kmill18
mhuisi18
david-christiansen17
fpvandoorn17
PatrickMassot16
Vierkantor15
pitmonticone15
Garmelon14
TwoFX14
YaelDillies14
b-mehta14
alreadydone13
utensil13
Ruben-VandeVelde12
bryangingechen12
joneugster12

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