Skip to content

active 2023-08-222026-08-13 (UTC) · 60 repositories

Complete coverage26,656 / 26,656 hourly files (100%) · 2 absent upstream2023-08-152026-08-29 (UTC)
Events
2.1K
Pushes
1.2K
Pull requests
250
Issues
28
Reviews
75
Repositories
60

Activity over time

Daily event counts in the loaded window

Line chart, 1088 days from 2023-08-22 to 2026-08-13. Pushes: 1,174 total, peak 43 in a day. Pull requests: 251 total, peak 9 in a day. Issues: 28 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 · top 50

RepositoryContributionsPushesPRsIssuesCommentsLast seen
viperproject/axiom-profiler-253938212714142025-02-14
Aurel300/prusti-dev22840392922026-07-30
viperproject/prusti-dev1431375012026-08-13
viperproject/smt-scope14211028312025-10-31
viperproject/silver844252292025-11-06
viperproject/smt-logs77770002025-01-27
oskari1/Axiom-Profiler766012122024-01-15
viperproject/viperserver52328082026-02-13
viperproject/viper-ide51384072026-02-25
tillarnold/prusti-dev48480002023-11-29
JonasAlaif/pl-conferences26260002025-02-05
JonasAlaif/Axiom-Profiler20200002024-01-17
rustwasm/gloo17021102024-10-25
xldenis/prusti-dev17170002025-04-22
viperproject/carbon13111102024-02-12
viperproject/silicon1242142025-12-15
JonasAlaif/smt-scope-talk12120002025-03-18
JonasAlaif/smt-scope-artifact12120002025-10-31
viperproject/axiom-profiler1192002025-02-13
JonasAlaif/trunk990002023-12-19
JonasAlaif/pcs880002025-07-25
viperproject/silver-oxide880002026-03-03
zgrannan/prusti-dev770002023-11-14
JonasAlaif/axiom-profiler-talk660002025-03-17
viperproject/pcg615002025-07-25
JonasAlaif/gloo660002023-12-19
Trzyq0712/prusti-dev550002026-07-13
JonasAlaif/silicon-oxide440002024-09-18
zgrannan/pcs402022024-10-21
thedodd/trunk401032023-12-11
viperproject/tutorial412102025-05-09
FStarLang/pulse401212024-08-27
trunk-rs/trunk401032023-12-19
ThomasMayerl/prusti-dev440002026-02-27
kiranandcode/axiom-profiler-2440002024-10-23
JonasAlaif/compressed_collections440002023-12-23
manud99/silicon440002024-06-11
Z3Prover/z3301022026-01-27
JonasAlaif/tagged-pointer330002024-03-27
JonasAlaif/internment330002025-04-08
JonasAlaif/FStar220002024-12-29
prusti/pcg210012026-08-13
trunk-dev/trunk200022023-12-12
JonasAlaif/russol-alpha220002024-01-09
LaurenzV/silver220002025-03-09
JonasAlaif/rust110002023-10-16
paaassscccaaalll/prusti-dev110002025-07-17
droundy/internment101002025-04-08
JonasAlaif/pulse110002024-07-03
taylordotfish/tagged-pointer100012024-03-27

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
Aurel30011
marcoeilers11
zgrannan9
viper-admin8
Dspil7
LaurenzV7
ArquintL6
ctron6
fpoli6
rayman20006
Simon-Hostettler5
jcp195
manud995
tillarnold5
xldenis5
7i6ht4
AndreaKe4
LucaCappelletti944
Madoshakalaka4
ThomasMayerl4
Timmmm4
alexanderjsummers4
stefnotch4
vakaras4
DanielJoyce3

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