Skip to content

active 2024-12-152026-08-09 (UTC) · 237 repositories

Partial coverage12,748 / 14,564 hourly files (88%) · 2 absent upstream · 1,810 failed, retryable2024-12-122026-08-11 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
2.4K
Pushes
839
Pull requests
359
Issues
155
Reviews
58
Repositories
237

Activity over time

Daily event counts in the loaded window

Line chart, 603 days from 2024-12-15 to 2026-08-09. Pushes: 852 total, peak 38 in a day. Pull requests: 366 total, peak 12 in a day. Issues: 157 total, peak 7 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 · top 50

RepositoryContributionsPushesPRsIssuesCommentsLast seen
FormalizedFormalLogic/Foundation1,055493299991302026-07-27
otoDB/otoDB2161061825452026-08-09
FormalizedFormalLogic/ModalLogic53521002026-08-01
FormalizedFormalLogic/Catalogue30971312026-02-20
FormalizedFormalLogic/awesome-logic-formalization17110602026-06-20
FormalizedFormalLogic/goodstein-independence15150002026-07-22
SnO2WMaN/sno2wman.net15105002026-07-03
FormalizedFormalLogic/LogicsKite1382212025-03-08
FormalizedFormalLogic/Incompleteness1235402025-01-12
FormalizedFormalLogic/ProvabilityLogic10100002026-07-29
SnO2WMaN/typst-report-template1082002026-07-30
SnO2WMaN/my-otomad-mylists10100002026-07-26
otomadb/hof981002025-01-03
leanprover/verso904032026-01-08
FormalizedFormalLogic/SeqPL990002026-07-05
SnO2WMaN/SmullyanTP844002025-08-01
SnO2WMaN/notes-on-kripke-incomplete-modal-logic660002026-01-04
otoDB/roxy532002026-06-01
SnO2WMaN/notes-on-henkin-construction550002026-01-04
SnO2WMaN/16-personalities531102026-03-31
otomadb/10sen-extract550002026-05-31
SnO2WMaN/notes-on-modal-logics440002025-02-19
FormalizedFormalLogic/VeryWeakSubintuitionistic440002026-06-06
FormalizedFormalLogic/formalizedformallogic.github.io440002026-02-12
SnO2WMaN/lean4-mahjong312002025-04-25
SnO2WMaN/notes-on-nonstandard330002025-01-26
SnO2WMaN/SnO2WMaN330002026-01-04
SnO2WMaN/ac.sno2wman.net330002026-01-04
otomadb/nicovideo-api-proxy330002025-01-03
fontsource/fontsource300302025-11-16
FormalizedFormalLogic/NonClassicalModalLogic330002026-03-19
SnO2WMaN/lean-typst220002026-07-27
SnO2WMaN/SeqPL220002026-05-13
Convindix/Foundation220002026-02-27
leanprover-community/mathlib4200022026-01-24
SnO2WMaN/slides-for-tpp2025220002025-12-02
SnO2WMaN/mathlib4220002026-01-10
FormalizedFormalLogic/.github220002026-01-08
be5invis/Iosevka202002026-05-22
SnO2WMaN/lean4-yablo110002025-08-13
otomadb/miru10-extract110002025-01-02
SnO2WMaN/verso110002026-01-08
FormalizedFormalLogic/Begriffsschrift110002026-05-22
SnO2WMaN/lean-action110002026-02-16
hsjoihs/dpda-lean101002025-07-04
SnO2WMaN/axiom-audit110002026-07-29
1000-plus/1000-plus.github.io101002026-01-08
SnO2WMaN/notes-on-yablo-paradox110002025-01-26
SnO2WMaN/nixpkgs110002025-06-07
FormalizedFormalLogic/redesign-modallogic110002026-03-31

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
Copilot11
iehality6
Garmelon5
Vierkantor4
Vtec2344
grunweg4
joneugster4
kim-em4
nomeata4
Komyyy3
MrQubo3
YaelDillies3
alok3
ayestoro3
b-mehta3
fivemeyestore3
fivemeyestoreserver3
fpvandoorn3
jcreedcmu3
jrr63
jsm283
leanprover-radar3
vihdzp3
vlad9023
Atemu2

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