seL4/
Prototype no-assurance reference OS personality built on seL4
by seL4 microkernel and related repositories C Other licence 22 forks Created Oct 2014 View on GitHub
- Stars
- 51
- 1% of seL4's stars
- Rank
- #821,559
- of 847,120 repos, top 97%
- In C
- #31,574
- of 32,546 repos, top 98%
Among 847,120 repos
40–63 stars: 142,367 repos, including refos
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 #809,336
- Next milestone
- +6 stars to reach the top 90%
- Yearly average
- 4 stars a year since Oct 2014