seL4
seL4 microkernel and related repositories Joined Mar 2014 View on GitHub
- Stars
- 8,005
- across 60 public repos
- Rank
- #4,708
- of 94,827 organizations, top 5%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 10,802 | The seL4 microkernel | C | 5,872 |
| 96,809 | seL4 specification and proofs | Isabelle | 664 |
| 253,273 | Rust support for seL4 userspace | Rust | 222 |
| 260,994 | Microkit - A simple operating system framework for the seL4 microkernel | Rust | 214 |
| 364,277 | git mirror of the Munich isabelle hg repository | Isabelle | 143 |
| 671,344 | C | 66 | |
| 704,714 | No-assurance libraries for rapid-prototyping of seL4 apps. | C | 62 |
| 713,763 | Tutorials for working with seL4 and/or CAmkES. | Python | 61 |
| 752,777 | Basic tools for building seL4 projects | C | 57 |
| 821,506 | Prototype no-assurance reference OS personality built on seL4 | C | 51 |
Among 94,827 organizations
6.3k–10k stars: 1,979 organizations, including seL4
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and organizations in each band on a log scale
Where the stars are
Languages
- C 6.1k stars, 76% · 5 repos
- Isabelle 807 stars, 10% · 2 repos
- Rust 436 stars, 5% · 2 repos
- Python 61 stars, 1% · 1 repo
When they were made
10 repos with 50+ stars, made between 2014 and 2023
101001k10k rust-sel4l4vseL4
Quick stats
- Next rank
- +1 star to reach #4,707
- Next milestone
- +26,989 stars to reach the top 1%
- Public repos
- 60, 10 with 50+ stars
- Popular repos
- 5 over 100 stars, 1 over 1k stars
- Top repo
- seL4, #10,802 of all repos, 73% of stars
- Smaller repos
- 593 stars from repos under 50