Skip to content

active 2023-08-162026-06-11 (UTC) · 61 repositories

Complete coverage26,656 / 26,656 hourly files (100%) · 2 absent upstream2023-08-152026-08-29 (UTC)
Events
590
Pushes
207
Pull requests
44
Issues
15
Reviews
63
Repositories
61

Activity over time

Daily event counts in the loaded window

Line chart, 1031 days from 2023-08-16 to 2026-06-11. Pushes: 207 total, peak 8 in a day. Pull requests: 44 total, peak 3 in a day. Issues: 15 total, peak 1 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
leanprover-community/mathlib421586171692024-04-11
mthom/scryer-prolog1230157802026-06-11
adri326/scryer-prolog47470002026-05-10
adri326/rubin-lean431252042024-01-16
adri326/aoc-202416160002024-12-25
embassy-rs/embassy702232024-04-19
dcnorris/scryer-prolog600062025-01-11
adri326/aoc-2025550002025-12-15
rust-embedded/embedded-hal401032024-07-26
adri326/adri326440002024-12-04
adri326/genomic-rs330002023-08-23
adri326/embassy330002024-03-27
rust-embedded-community/embedded-storage301022024-08-28
adri326/embedded-hal330002024-07-26
adri326/rexpaintjs-render330002024-11-26
adri326/just-the-code220002024-02-25
adri326/basic-to-mindustry220002023-10-22
adri326/web220002024-03-15
leimbernon/rust_genetic_algorithms200112023-08-23
adri326/connect-square211002024-03-29
bup/bup201012024-04-17
adri326/boruvka-cs110002023-11-19
adri326/neuramethyst110002024-10-01
adri326/mathlib4110002024-01-16
bnjbvr/rouille101002024-01-08
mcu-tools/mcuboot101002024-03-28
vscodethemes/web101002024-03-15
greys-tools/pkapi.js101002024-11-25
ToothedTomb/AreyouUsingArchLinux100102024-07-18
adri326/online-pixel-font-creator100012025-01-09
Skgland/Arcu100102024-12-30
embassy-rs/stm32-data100012024-03-22
leanprover/lean4100102023-11-23
adri326/rouille110002024-01-08
slog-rs/slog100102024-05-22
adri326/rexpaintjs-fork110002024-11-23
adri326/prolog-fuzz000002025-01-04
sasagawa888/nprolog000002024-12-28
adri326/ulog000002024-05-23
adri326/ascii-cell000002024-12-03
moirai-lang/moirai-kt000002024-10-27
tialaramex/misfortunate000002025-01-31
erikbern/git-of-theseus000002024-04-22
andymeneely/git-churn000002025-04-04
adri326/embedded-storage000002024-08-28
adam-mcdaniel/reckon000002025-01-27
JADekker/LeanBourbaki000002024-02-26
adri326/stm32l4-nocube000002024-03-07
nevalang/neva000002025-01-26
adri326/mcuboot000002024-03-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
Dirbaio5
aurelj4
bugadani4
jamesmunns4
rmja4
ExplodingWaffle3
MabezDev3
MathiasKoch3
ProfFan3
Resonanz3
adamgreig3
andresv3
chrysn3
d3zd3z3
diondokter3
eldruin3
i509VCB3
jrmoulton3
korken893
liarokapisv3
mkj3
samueltardieu3
timokroeger3
usbalbin3
0e4ef6222

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