Skip to content

active 2023-08-15 → 2025-03-13 (UTC) · 26 repositories

Complete coverage28,112 / 28,112 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-29 (UTC)
Events
40
Pushes
13
Pull requests
1
Issues
0
Reviews
0
Repositories
26

Activity over time

Daily event counts in the loaded window

Line chart, 577 days from 2023-08-15 to 2025-03-13. Pushes: 13 total, peak 4 in a day. Pull requests: 1 total, peak 1 in a day. Issues: 0 total, peak 0 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
amakukha/minimal_hashes770002023-11-02
amakukha/unix_chess550002024-02-12
FinNLP/humannames101002023-10-23
amakukha/humannames110002023-10-22
amakukha/stemmers_ukrainian100012023-09-17
amakukha/tmg100012023-09-17
amakukha/PyPDP11100012023-09-17
lz4/lz4000002024-02-09
leanprover-community/mathlib4000002023-10-14
google/guava000002023-08-15
rurban/cmph000002023-10-22
jab/bidict000002025-03-13
Hop311/M4R000002023-10-14
codeemoji/codeemoji-plugin000002025-02-12
leanprover/lean4000002023-10-14
awslabs/aws-c-http000002024-01-12
LeelaChessZero/lc0000002024-01-31
sysprog21/lkmpg000002023-11-14
flyspeck/flyspeck000002023-10-08
caddyserver/caddy000002023-11-06
google/farmhash000002023-11-03
leanprover/SampCert000002024-04-15
cedar-policy/cedar000002024-04-16
T-Brick/c0deine000002024-02-06
google-deepmind/debate000002023-11-28
digama0/lean4lean000002023-10-15

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.