loganrjmurphy
View on GitHub ↗active 2023-09-13 → 2024-10-04 (UTC) · 8 repositories
Complete coverage26,769 / 26,769 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-03 (UTC)
Events
69
Pushes
46
Pull requests
3
Issues
0
Reviews
0
Repositories
8
Activity over time
Daily event counts in the loaded window
Line chart, 388 days from 2023-09-13 to 2024-10-04. Pushes: 46 total, peak 13 in a day. Pull requests: 3 total, peak 2 in a day. Issues: 0 total, peak 0 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 |
|---|---|---|---|---|---|---|
| loganrjmurphy/LeanEuclid | 29 | 25 | 2 | 0 | 2 | 2024-10-04 |
| loganrjmurphy/placs | 11 | 11 | 0 | 0 | 0 | 2024-06-26 |
| loganrjmurphy/lean-smt | 9 | 9 | 0 | 0 | 0 | 2024-05-16 |
| ProSE-uoft-org/group-website | 1 | 0 | 1 | 0 | 0 | 2024-05-26 |
| yangky11/smt-portfolio | 1 | 0 | 0 | 0 | 1 | 2023-11-20 |
| loganrjmurphy/group-website | 1 | 1 | 0 | 0 | 0 | 2024-05-26 |
| zhaoyu-li/DL4TP | 0 | 0 | 0 | 0 | 0 | 2024-04-22 |
| mhmood-sf/lean-metaprogramming-exercise | 0 | 0 | 0 | 0 | 0 | 2024-06-19 |
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 |
|---|---|---|
| yangky11 | 2 | |
| ArenBabikian | 1 | |
| Faraz9877 | 1 | |
| FlAmmmmING | 1 | |
| FrederickPu | 1 | |
| GouQi12138 | 1 | |
| HuakunShen | 1 | |
| Marssol | 1 | |
| NickF0211 | 1 | |
| PhotonQuantum | 1 | |
| SafoM | 1 | |
| Suyashtnt | 1 | |
| aliraeisdanaei | 1 | |
| andongfan | 1 | |
| avery-laird | 1 | |
| beillahi | 1 | |
| chrt | 1 | |
| danyalette | 1 | |
| ethanbodzioney | 1 | |
| hrzhuang | 1 | |
| jeffchen006 | 1 | |
| kuldeepmeel | 1 | |
| miguelmarco | 1 | |
| mkramarz | 1 | |
| mtoohey31 | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.