thorulf4
View on GitHub ↗active 2023-08-17 → 2024-06-04 (UTC) · 22 repositories
Complete coverage26,499 / 26,499 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-23 (UTC)
Events
209
Pushes
65
Pull requests
20
Issues
13
Reviews
41
Repositories
22
Activity over time
Daily event counts in the loaded window
Line chart, 293 days from 2023-08-17 to 2024-06-04. Pushes: 65 total, peak 7 in a day. Pull requests: 20 total, peak 4 in a day. Issues: 13 total, peak 3 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 |
|---|---|---|---|---|---|---|
| UPPAALModelChecker/utap | 36 | 5 | 11 | 2 | 9 | 2024-01-26 |
| UPPAALModelChecker/UUtils | 25 | 0 | 0 | 0 | 8 | 2023-09-14 |
| thorulf4/utap | 22 | 22 | 0 | 0 | 0 | 2024-01-26 |
| NicEastvillage/ChessHeavenAndHell | 17 | 3 | 3 | 4 | 4 | 2024-04-03 |
| thorulf4/qoi-images | 16 | 16 | 0 | 0 | 0 | 2023-09-20 |
| UPPAALModelChecker/docs.uppaal.org | 14 | 1 | 3 | 1 | 4 | 2024-01-05 |
| thorulf4/htpp | 8 | 8 | 0 | 0 | 0 | 2023-12-04 |
| thorulf4/docs.uppaal.org | 6 | 6 | 0 | 0 | 0 | 2023-11-30 |
| UPPAALModelChecker/UDBM | 6 | 0 | 0 | 0 | 2 | 2023-09-15 |
| UPPAALModelChecker/UPPAAL-Meta | 5 | 0 | 0 | 1 | 4 | 2024-01-23 |
| UPPAALModelChecker/uls | 4 | 0 | 2 | 2 | 0 | 2023-12-13 |
| thorulf4/chatty | 3 | 3 | 0 | 0 | 0 | 2024-01-15 |
| UPPAALModelChecker/UCDD | 3 | 0 | 0 | 0 | 1 | 2023-09-15 |
| faserg1/CubA4 | 2 | 0 | 0 | 1 | 1 | 2023-11-12 |
| DEIS-Tools/DEIS-MCC | 2 | 0 | 0 | 0 | 1 | 2023-11-10 |
| tbd-develop/chatty | 1 | 0 | 1 | 0 | 0 | 2024-01-15 |
| showierdata9978/Bounce | 1 | 0 | 0 | 1 | 0 | 2023-11-14 |
| mikucionisaau/UUtils | 1 | 1 | 0 | 0 | 0 | 2023-08-29 |
| bonsall2004/thread-master | 1 | 0 | 0 | 1 | 0 | 2024-06-04 |
| thorulf4/uls | 0 | 0 | 0 | 0 | 0 | 2023-12-15 |
| eyalz800/zpp_bits | 0 | 0 | 0 | 0 | 0 | 2023-11-03 |
| cloudamqp/websocket-tcp-relay | 0 | 0 | 0 | 0 | 0 | 2024-03-07 |
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 |
|---|---|---|
| mikucionisaau | 10 | |
| CLAassistant | 5 | |
| AsgerHB | 3 | |
| NicEastvillage | 3 | |
| HansBug | 2 | |
| Ragusaen | 2 | |
| magoorden | 2 | |
| petergjoel | 2 | |
| AlbertoNoris | 1 | |
| GYSUN41111 | 1 | |
| GameMonkey | 1 | |
| HGinnerup | 1 | |
| JacobGuld | 1 | |
| Kurtoid | 1 | |
| Lqs66 | 1 | |
| MortenSchou | 1 | |
| MrVideo | 1 | |
| NicolasBedon | 1 | |
| SwampertX | 1 | |
| TheKritix | 1 | |
| amiratarek3007 | 1 | |
| anirjoshi | 1 | |
| apferscher | 1 | |
| atjn | 1 | |
| bonsall2004 | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.