S
seL4
@seL4
The seL4 microkernel
Commit 5 dagen geleden ★ 5.768
Pijlers en weging
Waarom deze score
- CNCF landscape-project
- Laatste commit 4 dagen geleden
- Uitgebracht in de afgelopen 12 maanden
- OpenSSF Scorecard 5.7/10
- Top 13% naar sterren in Developer Tools › Operating Systems and Kernels
Feiten
- Licentie
- NOASSERTION (Licentie onbekend)
- Taal
- C
- GitHub-sterren
- 5.768
- Laatste commit
- 2026-09-23 (5 dagen geleden)
- Laatste release
- 2026-07-22T11:06:32Z
- OpenSSF Scorecard
- 5.7/10
- Zelf hosten
- Niet vastgesteld
- Maintainer-locatie
- Onbekend
- Bron
- cncf-landscape,github-crawl,github-search
Alternatieven in Operating Systems and Kernels
01 81 02 73 03 72 04 71
P
Puter
Web-based operating system designed to be feature-rich, exceptionally fast, and highly extensible.
R
reinstall
一键DD/重装脚本 (One-click reinstall OS on VPS)
L
linux-cachyos
Archlinux Kernel based on different schedulers and some other performance improvements.
K
KernelSU
A Kernel based root solution for Android