seL4/
Tutorials for working with seL4 and/or CAmkES.
by seL4 microkernel and related repositories Python 59 forks Created Aug 2015 View on GitHub
- Stars
- 61
- 1% of seL4's stars
- Rank
- #713,857
- of 847,188 repos, top 85%
- In Python
- #144,595
- of 172,244 repos, top 84%
Among 847,188 repos
40–63 stars: 142,383 repos, including sel4-tutorials
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 #704,806
- Next milestone
- +5 stars to reach the top 80%
- Yearly average
- 5 stars a year since Aug 2015