doctorn
View on GitHub ↗active 2023-08-20 → 2025-02-26 (UTC) · 20 repositories
Complete coverage27,882 / 27,882 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-19 (UTC)
Events
85
Pushes
37
Pull requests
3
Issues
1
Reviews
12
Repositories
20
Activity over time
Daily event counts in the loaded window
Line chart, 557 days from 2023-08-20 to 2025-02-26. Pushes: 37 total, peak 3 in a day. Pull requests: 3 total, peak 1 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 |
|---|---|---|---|---|---|---|
| LMCRC/Topos-Theory | 25 | 0 | 2 | 0 | 11 | 2024-12-10 |
| doctorn/Topos-Theory | 24 | 24 | 0 | 0 | 0 | 2024-12-10 |
| doctorn/antidotfiles | 7 | 7 | 0 | 0 | 0 | 2025-01-08 |
| doctorn/obake | 6 | 3 | 0 | 0 | 3 | 2025-02-26 |
| homotopy-io/homotopy-rs | 4 | 0 | 0 | 0 | 4 | 2024-02-28 |
| doctorn/tundra | 2 | 1 | 1 | 0 | 0 | 2023-12-19 |
| doctorn/nathancorbyn.com | 2 | 2 | 0 | 0 | 0 | 2024-12-26 |
| bigcode-project/opt-out-v2 | 1 | 0 | 0 | 1 | 0 | 2024-03-16 |
| doctorn/micro-mitten | 1 | 0 | 0 | 0 | 1 | 2023-12-14 |
| leanprover/lean4 | 1 | 0 | 0 | 0 | 1 | 2024-10-18 |
| llvm/llvm-project | 0 | 0 | 0 | 0 | 0 | 2025-01-08 |
| Trebor-Huang/vscode-forester | 0 | 0 | 0 | 0 | 0 | 2024-03-18 |
| zed-industries/zed | 0 | 0 | 0 | 0 | 0 | 2024-01-27 |
| doctorn/agda-nbe | 0 | 0 | 0 | 0 | 0 | 2024-05-19 |
| orlp/slotmap | 0 | 0 | 0 | 0 | 0 | 2024-04-16 |
| HigherOrderCO/Bend | 0 | 0 | 0 | 0 | 0 | 2024-05-20 |
| LadybirdBrowser/ladybird | 0 | 0 | 0 | 0 | 0 | 2024-12-03 |
| AnthonyBordg/Topos-Theory | 0 | 0 | 0 | 0 | 0 | 2024-10-12 |
| federico-busato/Modern-CPP-Programming | 0 | 0 | 0 | 0 | 0 | 2025-01-08 |
| Lapin0t/grothendieck-cern | 0 | 0 | 0 | 0 | 0 | 2024-06-12 |
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 |
|---|---|---|
| cyberglot | 2 | |
| edegeltje | 2 | |
| goens | 2 | |
| ionathanch | 2 | |
| robertmaxton42 | 2 | |
| robin-carlier | 2 | |
| 007vasy | 1 | |
| 0n1cOn3 | 1 | |
| 0v3rride | 1 | |
| 0x4261756D | 1 | |
| 0x450x6c | 1 | |
| 12andrew13 | 1 | |
| 16patsle | 1 | |
| 1muhgcmg | 1 | |
| 33b5e5 | 1 | |
| 3x0dv5 | 1 | |
| 404d | 1 | |
| 424ever | 1 | |
| 4censord | 1 | |
| 4e554c4c | 1 | |
| 5GameMaker | 1 | |
| 6a68 | 1 | |
| 7adietri | 1 | |
| 7sDream | 1 | |
| 8bitbuddhist | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.