pantantrant
View on GitHub ↗active 2024-02-14 → 2024-04-26 (UTC) · 4 repositories
Complete coverage27,097 / 27,099 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-17 (UTC)
Events
20
Pushes
10
Pull requests
0
Issues
4
Reviews
0
Repositories
4
Activity over time
Daily event counts in the loaded window
Line chart, 73 days from 2024-02-14 to 2024-04-26. Pushes: 10 total, peak 4 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 4 total, peak 2 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 |
|---|---|---|---|---|---|---|
| pantantrant/Vitalix | 10 | 10 | 0 | 0 | 0 | 2024-03-05 |
| FStarLang/FStar | 3 | 0 | 0 | 2 | 1 | 2024-04-26 |
| llvm/llvm-project | 3 | 0 | 0 | 1 | 2 | 2024-03-02 |
| vvaltchev/tilck | 1 | 0 | 0 | 1 | 0 | 2024-02-14 |
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 |
|---|---|---|
| fangyi-zhou | 2 | |
| msprotz | 2 | |
| ncihnegn | 2 | |
| rilysh | 2 | |
| 0-wiz-0 | 1 | |
| 004helix | 1 | |
| 03F001 | 1 | |
| 0b-s3rv3r | 1 | |
| 0bVdnt | 1 | |
| 0cch | 1 | |
| 0f-0b | 1 | |
| 0hDEADBEAF | 1 | |
| 0oyyo0 | 1 | |
| 0vercl0k | 1 | |
| 0w0zzzzzz | 1 | |
| 0x00004000 | 1 | |
| 0x00006000 | 1 | |
| 0x21af | 1 | |
| 0x4b6579 | 1 | |
| 0x59616e | 1 | |
| 0x6675636b796f75676974687562 | 1 | |
| 0xE1E10 | 1 | |
| 0xFE4415 | 1 | |
| 0xGeorgii | 1 | |
| 0xMihir | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.