benjaminflin
View on GitHub ↗active 2023-08-15 → 2024-05-08 (UTC) · 8 repositories
Complete coverage26,530 / 26,530 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-24 (UTC)
Events
100
Pushes
96
Pull requests
0
Issues
1
Reviews
0
Repositories
8
Activity over time
Daily event counts in the loaded window
Line chart, 268 days from 2023-08-15 to 2024-05-08. Pushes: 96 total, peak 8 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 1 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 |
|---|---|---|---|---|---|---|
| gaps-closure/cpp-closure | 40 | 40 | 0 | 0 | 0 | 2024-05-07 |
| gaps-closure/pdg2 | 21 | 21 | 0 | 0 | 0 | 2023-11-08 |
| gaps-closure/capo | 20 | 20 | 0 | 0 | 0 | 2023-11-08 |
| gaps-closure/build | 8 | 8 | 0 | 0 | 0 | 2023-10-24 |
| gaps-closure/gaps-closure.github.io | 5 | 5 | 0 | 0 | 0 | 2024-05-07 |
| gaps-closure/SVF | 2 | 2 | 0 | 0 | 0 | 2023-11-08 |
| viperproject/prusti-dev | 1 | 0 | 0 | 1 | 0 | 2023-09-21 |
| benjaminflin/kleene | 0 | 0 | 0 | 0 | 0 | 2024-05-08 |
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 |
|---|---|---|
| michael-kaplan | 5 | |
| ta-chen | 4 | |
| f09f8dbb | 2 | |
| mlevatich | 2 | |
| tmcauley | 2 | |
| Aurel300 | 1 | |
| CleveGreen | 1 | |
| DenisGorbachev | 1 | |
| EmmanuelMess | 1 | |
| JakuJ | 1 | |
| JonasAlaif | 1 | |
| LrWm3 | 1 | |
| Ramla-I | 1 | |
| Simon-Hostettler | 1 | |
| ValarMorghulisMaiDou | 1 | |
| VicMartini | 1 | |
| bjorn3 | 1 | |
| cdstanford | 1 | |
| cedihegi | 1 | |
| chisa22 | 1 | |
| cliu369 | 1 | |
| cospectrum | 1 | |
| csgordon | 1 | |
| fpoli | 1 | |
| hoijui | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.