a-inoue-code
View on GitHub ↗active 2023-08-20 → 2023-09-13 (UTC) · 20 repositories
Partial coverage20,505 / 26,261 hourly files (78%) · 2 absent upstream · 5,753 failed, retryable2023-08-15 → 2026-08-13 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
24
Pushes
6
Pull requests
0
Issues
0
Reviews
0
Repositories
20
Activity over time
Daily event counts in the loaded window
Line chart, 25 days from 2023-08-20 to 2023-09-13. Pushes: 6 total, peak 2 in a day. Pull requests: 0 total, peak 0 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
| Repository | Contributions | Pushes | PRs | Issues | Comments | Last seen |
|---|---|---|---|---|---|---|
| a-inoue-code/lean-math-workshop | 5 | 5 | 0 | 0 | 0 | 2023-08-24 |
| codewars/runner | 1 | 0 | 0 | 0 | 1 | 2023-09-05 |
| a-inoue-code/lean-math-workshop-myattempt | 1 | 1 | 0 | 0 | 0 | 2023-08-24 |
| biomejs/biome | 0 | 0 | 0 | 0 | 0 | 2023-09-07 |
| jupyter/nbdime | 0 | 0 | 0 | 0 | 0 | 2023-08-23 |
| answerdev/answer | 0 | 0 | 0 | 0 | 0 | 2023-08-30 |
| terrastruct/d2 | 0 | 0 | 0 | 0 | 0 | 2023-09-07 |
| padloc/padloc | 0 | 0 | 0 | 0 | 0 | 2023-08-29 |
| saadeghi/daisyui | 0 | 0 | 0 | 0 | 0 | 2023-09-05 |
| rami3l/plfl | 0 | 0 | 0 | 0 | 0 | 2023-09-13 |
| keeweb/keeweb | 0 | 0 | 0 | 0 | 0 | 2023-08-28 |
| bollu/lean-to | 0 | 0 | 0 | 0 | 0 | 2023-09-06 |
| alephjs/aleph.js | 0 | 0 | 0 | 0 | 0 | 2023-09-11 |
| Seasawher/lean-math-workshop-my-solutions | 0 | 0 | 0 | 0 | 0 | 2023-08-29 |
| iehality/lean-reducibility | 0 | 0 | 0 | 0 | 0 | 2023-09-11 |
| shufo/vscode-blade-formatter | 0 | 0 | 0 | 0 | 0 | 2023-08-29 |
| lean-ja/math-in-type-theory-ja | 0 | 0 | 0 | 0 | 0 | 2023-09-12 |
| Seasawher/lean-math-workshop | 0 | 0 | 0 | 0 | 0 | 2023-08-21 |
| leanprover-community/mathematics_in_lean | 0 | 0 | 0 | 0 | 0 | 2023-08-20 |
| jmgimeno/algorithm-design-with-haskell | 0 | 0 | 0 | 0 | 0 | 2023-09-13 |
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
| Contributor | Shared repos | Repositories in common |
|---|---|---|
| 4500zenja1 | 1 | |
| Adriwang | 1 | |
| BNAndras | 1 | |
| Blind4Basics | 1 | |
| BradleySpiclin | 1 | |
| Chrono79 | 1 | |
| Claukorze | 1 | |
| CrSb0001 | 1 | |
| DockedFerret800 | 1 | |
| DonaldKellett | 1 | |
| Feliks-WR | 1 | |
| JW529 | 1 | |
| Kacarott | 1 | |
| KayleighWasTaken | 1 | |
| M-PERSIC | 1 | |
| Madjosz | 1 | |
| MoonBox5 | 1 | |
| Patrick-ring-motive | 1 | |
| Seasawher | 1 | |
| Struder6 | 1 | |
| VirtueDevOps | 1 | |
| VojtechBrezina | 1 | |
| Waldisss | 1 | |
| aaronbee2010 | 1 | |
| aguerra72 | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.