seL4/
Basic tools for building seL4 projects
by seL4 microkernel and related repositories C Other licence 111 forks Created Nov 2015 View on GitHub
- Stars
- 57
- 1% of seL4's stars
- Rank
- #756,857
- of 852,272 repos, top 89%
- In C
- #29,115
- of 32,720 repos, top 89%
Among 852,272 repos
40–63 stars: 143,756 repos, including seL4_tools
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 #746,444
- Next milestone
- +9 stars to reach the top 80%
- Yearly average
- 5 stars a year since Nov 2015