Skip to content

active 2023-08-16 → 2024-11-08 (UTC) · 30 repositories

Complete coverage27,984 / 27,984 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-23 (UTC)
Events
1.1K
Pushes
441
Pull requests
178
Issues
22
Reviews
160
Repositories
30

Activity over time

Daily event counts in the loaded window

Line chart, 451 days from 2023-08-16 to 2024-11-08. Pushes: 441 total, peak 27 in a day. Pull requests: 178 total, peak 22 in a day. Issues: 22 total, peak 2 in a day.

  • Pushes
  • Pull requests
  • Issues

Repositories worked on

Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list

RepositoryContributionsPushesPRsIssuesCommentsLast seen
model-checking/kani290194418932024-11-08
jaisnan/rust-dev21314865002024-10-31
jaisnan/kani1391390002024-11-08
model-checking/verify-rust-std13618421392024-10-31
jaisnan/kani-github-action74740002023-10-05
model-checking/kani-github-action29415242024-01-10
model-checking/kani-vscode-extension17310042024-11-08
jaisnan/kani-vscode-extension13130002024-11-08
remi-delmas-3000/kani660002023-11-16
Alexander-Aghili/kani550002024-10-08
model-checking/rust-lean-models300002024-08-01
celinval/kani-dev330002024-07-29
model-checking/rust-std-verification201002024-05-30
carolynzech/kani220002024-07-31
jaisnan/test-vscode-extension110002023-09-06
zhassan-aws/kani110002024-06-10
qinheping/verify-rust-std110002024-08-19
rust-lang/rustup100012024-03-01
rust-lang/project-stable-mir100012024-07-19
roypat/kani-verifier-blog110002023-08-31
diffblue/cbmc100102024-06-06
carolynzech/verify-rust-std101002024-08-22
tautschnig/kani110002023-09-01
jsalzbergedu/kani110002024-07-19
tautschnig/verify-rust-std110002024-07-10
cross-platform-actions/action000002023-09-12
marcoeilers/nagini000002024-07-01
rust-lang/rust000002024-05-28
pschanely/CrossHair000002024-07-01
aws-actions/aws-codebuild-run-build000002024-07-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
celinval17
tautschnig14
feliperodri13
carolynzech11
zhassan-aws9
adpaco-aws8
qinheping6
remi-delmas-30006
thanhnguyen-aws6
QinyuanWu4
karkhaz4
rahulku4
zjp-CN4
ShoyuVanilla3
bjorn33
cvick323
gmorenz3
jsalzbergedu3
lolbinarycat3
oli-obk3
AlexLB992
Alexander-Aghili2
BusyBeaver-422
HuStmpHrrr2
Kixunil2

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