seL4/
No-assurance libraries for rapid-prototyping of seL4 apps.
by seL4 microkernel and related repositories C Other licence 81 forks Created Nov 2015 View on GitHub
- Stars
- 62
- 1% of seL4's stars
- Rank
- #708,483
- of 852,204 repos, top 84%
- In C
- #27,327
- of 32,722 repos, top 84%
Among 852,204 repos
40–63 stars: 143,722 repos, including seL4_libs
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 #699,853
- Next milestone
- +4 stars to reach the top 80%
- Yearly average
- 6 stars a year since Nov 2015