seL4/
Rust support for seL4 userspace
by seL4 microkernel and related repositories Rust 43 forks Created Jul 2023 View on GitHub
- Stars
- 222
- 3% of seL4's stars
- Rank
- #254,196
- of 852,272 repos, top 30%
- In Rust
- #8,241
- of 24,093 repos, top 35%
Among 852,272 repos
160–250 stars: 104,136 repos, including rust-sel4
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #253,273
- Next milestone
- +133 stars to reach the top 20%
- Popular
- One of 490,881 repos with 100+ stars
- Yearly average
- 66 stars a year since Jul 2023