Skip to content

active 2024-05-022026-07-30 (UTC) · 117 repositories

Partial coverage16,299 / 20,493 hourly files (80%) · 2 absent upstream · 4,194 failed, retryable2024-04-102026-08-12 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
634
Pushes
297
Pull requests
53
Issues
69
Reviews
17
Repositories
117

Activity over time

Daily event counts in the loaded window

Line chart, 820 days from 2024-05-02 to 2026-07-30. Pushes: 316 total, peak 9 in a day. Pull requests: 55 total, peak 6 in a day. Issues: 69 total, peak 22 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
wizard7377/twelf11045153882026-03-14
wizard7377/sml-ocaml-converter44368002026-02-16
wizard7377/flix42420002025-10-20
flix/flix39060222025-10-20
wizard7377/LLVM38317002025-09-09
wizard7377/roc32320002025-04-13
wizard7377/flewt20501502026-01-20
wizard7377/idris-mult17170002026-01-31
wizard7377/stelf1682602026-05-23
idris-lang/Idris21505552025-10-16
wizard7377/Idris214140002025-11-28
standardocaml/stelf1291202026-07-30
roc-lang/roc1104142025-06-21
wizard7377/idris-mult-paper880002025-11-28
wizard7377/ROAR660002024-12-17
wizard7377/choice550002025-11-17
wizard7377/shibboleth440002026-02-16
wizard7377/constitution440002025-12-15
wizard7377/basis330002026-04-04
wizard7377/SHIFT330002025-07-06
wizard7377/constituion330002025-10-21
standardocaml/stelf-book330002026-06-03
standardocaml/.github220002026-06-13
kayhide/tree-sitter-idris202002025-08-14
wizard7377/IdrisTS220002025-08-10
andrevidela/idris-documentation-tracking200202025-08-21
wizard7377/IVM220002025-07-27
wizard7377/Cockatrice220002025-05-27
standardocaml/tree-sitter-stelf220002026-07-17
wizard7377/test-thing110002024-12-05
wizard7377/Lambda-Calculus110002025-07-11
wizard7377/IdrisTutorial110002025-08-02
wizard7377/ArticleTemplate110002025-08-20
standardocaml/stelf-site110002026-06-12
wizard7377/opam-repository110002026-02-16
stefan-hoeck/idris2-pack101002025-10-16
wizard7377/idris2-pack110002025-10-16
idris-community/idris2-lsp101002025-10-16
ocaml/opam-repository101002026-01-21
wizard7377/tree-sitter-idris110002025-08-13
wizard7377/sml-test-inputs110002026-02-23
mostafatouny/awesome-theoretical-computer-science000002024-12-15
wizard7377/kotlinAntlrTemplate000002024-06-21
wizard7377/Yolo000002025-08-04
wizard7377/Stocks000002025-04-27
wizard7377/MetaHaskell000002025-03-18
weihaox/awesome-digital-human000002025-01-19
standardml/twelf000002025-11-30
wizard7377/ser_lang000002024-07-28
wizard7377/LensProp000002025-08-29

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
Copilot5
andrevidela4
srghma4
dunhamsteve3
foxyseta3
joelberkeley3
mattpolzin3
spcfox3
stefan-hoeck3
CodingCellist2
DanMax032
GulinSS2
JavierGelatti2
Liable56072
Matthew-Mosior2
Z-snails2
buzden2
emdash2
fivemeyestore2
fivemhostingserver2
fivemserverhostings2
kukimik2
lost22git2
lukewilliamboswell2
mseri2

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