seL4 Device Driver Framework
active 2023-08-22 → 2024-03-27 (UTC)
Complete coverage27,986 / 27,986 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-24 (UTC)
Events
875
Pushes
317
Pull requests
118
Issues
9
Stars
2
Forks
7
Activity over time
Daily event counts in the loaded window
Line chart, 219 days from 2023-08-22 to 2024-03-27. Pushes: 317 total, peak 24 in a day. Pull requests: 118 total, peak 10 in a day. Issues: 9 total, peak 3 in a day. Comments: 149 total, peak 28 in a day. Stars: 2 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| Ivan-Velickovic | 465 | 208 | 84 | 91 |
| wom-bat | 91 | 20 | 11 | 33 |
| erichchan999 | 55 | 37 | 6 | 4 |
| Courtney3141 | 38 | 9 | 3 | 13 |
| alwin-joshy | 26 | 10 | 2 | 0 |
| Kswin01 | 16 | 10 | 4 | 0 |
| alexandermbrown | 15 | 15 | 0 | 0 |
| ralismark | 13 | 6 | 3 | 2 |
| abrandnewusername | 8 | 1 | 0 | 5 |
| isubasinghe | 5 | 0 | 3 | 1 |
| TheEarthlord | 2 | 1 | 1 | 0 |
| omeh-a | 1 | 0 | 1 | 0 |
Recent activity
Latest issues, pull requests and releases
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 2 stars here means stars gained during the window, not the repo's star count.