rsetaluri
View on GitHub ↗active 2023-08-17 → 2024-01-26 (UTC) · 7 repositories
Complete coverage26,619 / 26,619 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-28 (UTC)
Events
251
Pushes
70
Pull requests
34
Issues
2
Reviews
31
Repositories
7
Activity over time
Daily event counts in the loaded window
Line chart, 163 days from 2023-08-17 to 2024-01-26. Pushes: 70 total, peak 17 in a day. Pull requests: 34 total, peak 6 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
| Repository | Contributions | Pushes | PRs | Issues | Comments | Last seen |
|---|---|---|---|---|---|---|
| phanrahan/magma | 195 | 67 | 31 | 1 | 66 | 2024-01-26 |
| leonardt/fault | 6 | 2 | 1 | 0 | 2 | 2023-12-07 |
| Z3Prover/z3 | 3 | 0 | 1 | 0 | 2 | 2023-10-27 |
| rsetaluri/atgls | 2 | 1 | 1 | 0 | 0 | 2023-12-01 |
| llvm/circt | 2 | 0 | 0 | 1 | 1 | 2024-01-12 |
| leonardt/magma | 0 | 0 | 0 | 0 | 0 | 2023-09-26 |
| rsetaluri/z3 | 0 | 0 | 0 | 0 | 0 | 2023-10-17 |
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 |
|---|---|---|
| leonardt | 3 | |
| qobilidop | 2 | |
| rkshthrmsh | 2 | |
| 0946505082 | 1 | |
| 1arie1 | 1 | |
| 5iri | 1 | |
| 7FM | 1 | |
| 89netraM | 1 | |
| AE1020 | 1 | |
| AayushMainali-Github | 1 | |
| AbhiTheModder | 1 | |
| Abhilekhgautam | 1 | |
| AlexisHamon | 1 | |
| AmurG | 1 | |
| AnZhong24 | 1 | |
| AndreCorreaSantos | 1 | |
| AndreyVV-100 | 1 | |
| Anillc | 1 | |
| AnirudhNarsipur | 1 | |
| AnnuCode | 1 | |
| AntoineBlaud | 1 | |
| ArpitaDutta | 1 | |
| Arya-Golkari | 1 | |
| Asghar-Raza | 1 | |
| AthlonAMDx64 | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.