seL4/microkit has 200 GitHub stars. It gained 0 stars over 2 recorded days in the last 30 days (snapshots through Jul 30, 2026).
It currently ranks #24695 daily, #25312 weekly, #27493 monthly by momentum on Trending Repos; its best-ever rank is #2317.
Trending Repos first recorded it on May 18, 2026.
| Date | Stars gained | Total stars |
|---|
| Forks gained |
|---|
| 0 | 193 | 0 | |
| 0 | 193 | +1 |