Rustastra
View on GitHub ↗active 2023-11-19 → 2024-11-24 (UTC) · 6 repositories
Complete coverage26,493 / 26,493 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-22 (UTC)
Events
11
Pushes
0
Pull requests
1
Issues
2
Reviews
1
Repositories
6
Activity over time
Daily event counts in the loaded window
Line chart, 372 days from 2023-11-19 to 2024-11-24. Pushes: 0 total, peak 0 in a day. Pull requests: 1 total, peak 1 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 |
|---|---|---|---|---|---|---|
| idontgetoutmuch/BrownianMotionInLean | 4 | 0 | 1 | 1 | 1 | 2024-11-24 |
| leanprover/vscode-lean4 | 1 | 0 | 0 | 1 | 0 | 2024-10-20 |
| AI-Yash/st-chat | 0 | 0 | 0 | 0 | 0 | 2023-11-19 |
| leanprover/lean4 | 0 | 0 | 0 | 0 | 0 | 2024-08-30 |
| entropy-research/Devon | 0 | 0 | 0 | 0 | 0 | 2024-05-20 |
| teorth/equational_theories | 0 | 0 | 0 | 0 | 0 | 2024-11-16 |
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 |
|---|---|---|
| 0art0 | 1 | |
| Coda-Coda | 1 | |
| DenisGorbachev | 1 | |
| Ekwem2024 | 1 | |
| JianqiaoLu | 1 | |
| JovanGerb | 1 | |
| Julian | 1 | |
| Kha | 1 | |
| Komyyy | 1 | |
| Kreijstal | 1 | |
| LacombeJ | 1 | |
| PDeets | 1 | |
| PatrickMassot | 1 | |
| Qiu233 | 1 | |
| RalfJung | 1 | |
| ReubenkThomas | 1 | |
| Rob23oba | 1 | |
| Seasawher | 1 | |
| SnirBroshi | 1 | |
| Timmmm | 1 | |
| Tomodovodoo | 1 | |
| TwoFX | 1 | |
| Vtec234 | 1 | |
| Wzixiao | 1 | |
| YaelDillies | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.