Skip to content

active 2023-08-212025-02-13 (UTC) · 14 repositories

Complete coverage26,346 / 26,346 hourly files (100%) · 2 absent upstream2023-08-152026-08-16 (UTC)
Events
77
Pushes
55
Pull requests
3
Issues
2
Reviews
0
Repositories
14

Activity over time

Daily event counts in the loaded window

Line chart, 543 days from 2023-08-21 to 2025-02-13. Pushes: 55 total, peak 13 in a day. Pull requests: 3 total, peak 3 in a day. Issues: 2 total, peak 1 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
Joshua27/joshua27.github.io38380002024-09-23
Joshua27/survey_kit12120002024-11-14
Joshua27/cbc_benchmarks550002023-09-19
QuickBirdEng/survey_kit503022023-09-29
rwbr/flutter_neat_and_clean_calendar300212024-05-22
Z3Prover/z3100012024-01-08
AlloyTools/org.alloytools.alloy100012024-09-05
unifyai/ivy000002023-08-21
pypy/pypy000002024-01-10
mikekben/SLOT000002023-09-07
austinxu87/handsoff000002024-03-01
arminbiere/cadical000002023-09-07
microstream-one/microstream000002025-02-13
NikolajBjorner/ShonanArtOfSAT000002023-10-10

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

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