Skip to content

active 2023-08-152026-08-22 (UTC) · 39 repositories

Complete coverage26,569 / 26,569 hourly files (100%) · 2 absent upstream2023-08-152026-08-26 (UTC)
Events
3K
Pushes
626
Pull requests
296
Issues
41
Reviews
946
Repositories
39

Activity over time

Daily event counts in the loaded window

Line chart, 1104 days from 2023-08-15 to 2026-08-22. Pushes: 630 total, peak 12 in a day. Pull requests: 299 total, peak 10 in a day. Issues: 41 total, peak 2 in a day.

  • Pushes
  • Pull requests
  • Issues

Pull requests and issues are under-captured in the later part of this window. GH Archive progressively stopped recording non-push events during 2026 — −95% or worse by the end of the window. A decline in those two series reflects the archive rather than this account. Pushes stay reliable throughout, so read them as the real signal. Data health has the measurements.

Repositories worked on

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

RepositoryContributionsPushesPRsIssuesCommentsLast seen
metamath/set.mm2,063167220177722026-08-22
tirix/set.mm2792790002026-07-06
metamath/metamath-knife161233811572026-02-05
tirix/metamath-blueprints622780232025-05-01
tirix/metamath-web6020203172026-07-06
tirix/metamath-knife45450002025-06-01
metamath/metamath-exe36000202025-07-29
tirix/rumm29752132025-09-17
tirix/christmas24.mm19190002024-12-24
glacode/yamma17016102025-04-26
david-a-wheeler/mmverify.py1222052025-09-19
metamath/metamath-website-scripts400022023-10-25
ProgramCrafter/set.mm440002025-10-17
avekens/set.mm440002026-07-20
tirix/web330002025-09-22
digama0/mmj2300122023-10-30
hwayne/lets-prove-leftpad301022023-08-18
icecream17/set.mm330002025-05-11
tirix/set-noov.mm310112024-09-18
tirix/metamath-blueprints-rs220002024-05-24
AdhemarVandamme/set.mm220002023-11-10
metakunt/set.mm220002025-05-11
GinoGiotto/set.mm220002025-04-06
tirix/metamath-website-seed220002023-10-25
benjub/set.mm220002025-01-05
jkingdon/set.mm220002023-09-26
tirix/layout220002024-05-20
tirix/symbols110002025-10-05
metamath/metamath-website-seed101002023-10-25
CatsAreFluffy/set.mm110002023-11-07
tirix/metamath-exe110002024-09-18
linebender/druid100012024-11-01
wlammen/set.mm110002023-10-24
glacode/set.mm110002025-02-25
tirix/lets-prove-leftpad110002023-08-17
io12/proof-stack-game000002025-01-19
metamath/symbols000002025-10-05
tirix/yamma000002023-10-18
nadavrot/layout000002024-04-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
benjub9
GinoGiotto8
digama08
icecream178
jkingdon7
wlammen7
avekens6
david-a-wheeler6
metakunt5
marloBruder4
BTernaryTau3
LegionMammal9783
glacode3
AdhemarVandamme2
Antony742
CatsAreFluffy2
ProgramCrafter2
amelieled2
arpie-steele2
creator1creeper12
frogeyedpeas2
humanitiesclinic2
io122
jamesjer2
savask2

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