yin99
View on GitHub ↗active 2023-08-17 → 2024-05-09 (UTC) · 4 repositories
Complete coverage26,658 / 26,658 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-29 (UTC)
Events
42
Pushes
26
Pull requests
0
Issues
3
Reviews
0
Repositories
4
Activity over time
Daily event counts in the loaded window
Line chart, 267 days from 2023-08-17 to 2024-05-09. Pushes: 26 total, peak 10 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 3 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 |
|---|---|---|---|---|---|---|
| yin99/IC3_changeSATSolver | 15 | 15 | 0 | 0 | 0 | 2024-03-19 |
| yin99/smv-to-ltsmin | 11 | 11 | 0 | 0 | 0 | 2024-01-15 |
| utwente-fmt/ltsmin | 7 | 0 | 0 | 3 | 4 | 2023-11-20 |
| Systems-ShiftLab/MultiPIM | 4 | 0 | 0 | 0 | 4 | 2024-05-09 |
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 |
|---|---|---|
| Codermann63 | 1 | |
| JakeGinesin | 1 | |
| alaarman | 1 | |
| anuragkar09 | 1 | |
| apoorvaaaa5 | 1 | |
| fsankratz | 1 | |
| gipsyh | 1 | |
| jacopol | 1 | |
| mlaveaux | 1 | |
| satanu01 | 1 | |
| sjudson | 1 | |
| sockmaster27 | 1 | |
| tandonmitul27 | 1 | |
| trolando | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.