Skip to content

active 2023-08-15 → 2026-09-06 (UTC) · 40 repositories

Complete coverage27,709 / 27,709 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-12 (UTC)
Events
3K
Pushes
626
Pull requests
296
Issues
43
Reviews
947
Repositories
40

Activity over time

Daily event counts in the loaded window

Line chart, 1119 days from 2023-08-15 to 2026-09-06. Pushes: 630 total, peak 12 in a day. Pull requests: 299 total, peak 10 in a day. Issues: 43 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,067167220187742026-09-06
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
hwayne/lets-prove-leftpad301022023-08-18
icecream17/set.mm330002025-05-11
tirix/set-noov.mm310112024-09-18
digama0/mmj2300122023-10-30
tirix/metamath-blueprints-rs220002024-05-24
AdhemarVandamme/set.mm220002023-11-10
tirix/layout220002024-05-20
metakunt/set.mm220002025-05-11
GinoGiotto/set.mm220002025-04-06
tirix/metamath-website-seed220002023-10-25
jkingdon/set.mm220002023-09-26
benjub/set.mm220002025-01-05
tirix/symbols110002025-10-05
metamath/metamath-website-seed101002023-10-25
tirix/lets-prove-leftpad110002023-08-17
CatsAreFluffy/set.mm110002023-11-07
tirix/metamath-exe110002024-09-18
glacode/Yamma100102026-08-30
linebender/druid100012024-11-01
glacode/set.mm110002025-02-25
wlammen/set.mm110002023-10-24
io12/proof-stack-game000002025-01-19
tirix/yamma000002023-10-18
nadavrot/layout000002024-04-27
metamath/symbols000002025-10-05

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
glacode4
marloBruder4
Antony743
BTernaryTau3
LegionMammal9783
AdhemarVandamme2
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.