Skip to content
GitHub Explorer

Catoverflow

View on GitHub ↗

active 2023-08-23 → 2026-09-12 (UTC) · 62 repositories

Complete coverage27,319 / 27,319 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-26 (UTC)
Events
2.1K
Pushes
1.6K
Pull requests
71
Issues
20
Reviews
94
Repositories
62

Activity over time

Daily event counts in the loaded window

Line chart, 1117 days from 2023-08-23 to 2026-09-12. Pushes: 1,568 total, peak 21 in a day. Pull requests: 72 total, peak 4 in a day. Issues: 21 total, peak 3 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
anvil-verifier/anvil1,7781.5K6501452026-09-07
xlab-uiuc/anvil361506152025-07-15
verus-lang/verus23038122026-06-07
Catoverflow/dst-server18160022024-02-19
cs423-uiuc/cs423-uiuc.github.io12120002025-11-18
Catoverflow/Catoverflow11100012025-01-03
Catoverflow/verus770002026-07-02
cs423-uiuc-fall25/rex-mp4-template770002025-12-01
Catoverflow/VBASE-artifacts700342024-11-27
xlab-uiuc/welder-ae-cloudlab660002026-07-30
anvil-verifier/verus-tla541002026-09-06
fredred375/anvil550002025-05-17
dangvd/crystal-dock300122024-06-03
Catoverflow/systems-seminar-uiuc.github.io330002026-02-09
Anuken/Mindustry-Suggestions200112023-12-12
systems-seminar-uiuc/systems-seminar-uiuc.github.io202002026-02-03
Geralt-TYH/obsidian-zhihu-crawler100102023-11-27
Catoverflow/ROBDD110002025-04-01
Catoverflow/universe_render110002024-04-16
xlab-uiuc/acto110002026-08-13
Catoverflow/university-information110002025-06-26
sddm/sddm100012024-08-06
ustclug/website100012026-09-12
cs423-uiuc/q-script110002025-09-04
kubernetes/kubernetes100012024-04-29
magenta/mt3100012024-07-19
ShiArthur03/ShiArthur03100012024-07-09
x2es/bt-dualboot000002025-05-04
kermanx/p2p-live-share000002025-10-18
Gar-b-age/CookLikeHOC000002025-09-21
potatoqualitee/eol-dr000002024-02-28
Legrandin/pycryptodome000002024-06-11
avivace/ror2-server000002024-06-28
pentium3/sys_reading000002023-12-20
Chenxi-Ji/ECE584-HW000002025-09-16
Aquaticat/nuejs-www000002024-02-19
microsoft/inshellisense000002023-11-13
akinomyoga/ble.sh000002025-04-08
louishhy/min-server000002024-06-15
binpash/try000002025-02-17
CollegesChat/university-information000002025-06-26
lynzrand/n2o5000002025-10-04
Aquaticat/Monochromatic000002024-04-14
goose-lang/goose000002025-06-20
iBug/fakessh000002024-01-04
iovisor/bpf-docs000002025-03-14
microsoft/verified-storage000002025-05-02
jinlinghuoyan/cas_cn_huangjiashun000002024-08-15
nextisme/Plants.vs.Zombies-hybrid000002024-06-20
remote-android/redroid-doc000002025-01-30

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
marshtompsxd6
xlab-uiuc/actosystems-seminar-uiuc/systems-seminar-uiuc.github.ioverus-lang/verusxlab-uiuc/anvil+2
tianyin5
cs423-uiuc/cs423-uiuc.github.ioxlab-uiuc/actosystems-seminar-uiuc/systems-seminar-uiuc.github.ioxlab-uiuc/anvil+1
tylergu3
xlab-uiuc/welder-ae-cloudlabsystems-seminar-uiuc/systems-seminar-uiuc.github.ioxlab-uiuc/acto
Chris-Hawblitzel2
verus-lang/verusanvil-verifier/anvil
Dieken2
sddm/sddmkubernetes/kubernetes
Sharaf52
sddm/sddmkubernetes/kubernetes
Stuart0l2
cs423-uiuc/cs423-uiuc.github.iosystems-seminar-uiuc/systems-seminar-uiuc.github.io
WSA1k2
Anuken/Mindustry-Suggestionskubernetes/kubernetes
XmchxUp2
ShiArthur03/ShiArthur03kubernetes/kubernetes
agowa2
sddm/sddmkubernetes/kubernetes
agrama642
fredred375/anvilanvil-verifier/anvil
ahuoguo2
verus-lang/verusanvil-verifier/anvil
chinrw2
cs423-uiuc/cs423-uiuc.github.iocs423-uiuc/q-script
codyjrivera2
anvil-verifier/anvilxlab-uiuc/anvil
fredred3752
fredred375/anvilanvil-verifier/anvil
hank951792
fredred375/anvilanvil-verifier/anvil
jaylorch2
verus-lang/verusanvil-verifier/anvil
jianzhangbjz2
xlab-uiuc/actokubernetes/kubernetes
jiyuzh2
cs423-uiuc/cs423-uiuc.github.iosystems-seminar-uiuc/systems-seminar-uiuc.github.io
oldthreefeng2
ShiArthur03/ShiArthur03kubernetes/kubernetes
paizhangliu2
cs423-uiuc/cs423-uiuc.github.iocs423-uiuc/q-script
see-quick2
anvil-verifier/anvilkubernetes/kubernetes
shoffmeister2
sddm/sddmkubernetes/kubernetes
siyuanchai19992
cs423-uiuc/cs423-uiuc.github.iosystems-seminar-uiuc/systems-seminar-uiuc.github.io
slynobody2
sddm/sddmdangvd/crystal-dock

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