zahnsimo
View on GitHub ↗active 2023-11-01 → 2025-01-23 (UTC) · 7 repositories
Complete coverage26,674 / 26,674 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-30 (UTC)
Events
24
Pushes
9
Pull requests
3
Issues
0
Reviews
0
Repositories
7
Activity over time
Daily event counts in the loaded window
Line chart, 450 days from 2023-11-01 to 2025-01-23. Pushes: 9 total, peak 3 in a day. Pull requests: 3 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
| Repository | Contributions | Pushes | PRs | Issues | Comments | Last seen |
|---|---|---|---|---|---|---|
| zahnsimo/prime-numbers-in-agda | 6 | 6 | 0 | 0 | 0 | 2023-11-17 |
| WhatisRT/lc-experiments | 5 | 3 | 2 | 0 | 0 | 2023-11-15 |
| agda/agda-stdlib-meta | 1 | 0 | 1 | 0 | 0 | 2025-01-23 |
| zahnsimo/Parser | 0 | 0 | 0 | 0 | 0 | 2024-04-10 |
| zahnsimo/snake | 0 | 0 | 0 | 0 | 0 | 2023-11-01 |
| zahnsimo/AdventOfCode | 0 | 0 | 0 | 0 | 0 | 2024-04-10 |
| zahnsimo/agda-stdlib-meta | 0 | 0 | 0 | 0 | 0 | 2025-01-23 |
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 |
|---|---|---|
| WhatisRT | 2 | |
| ana-pantilie | 1 | |
| carlostome | 1 | |
| omelkonian | 1 | |
| yveshauser | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.