GitHub Trending Rank Radar

← 返回榜单

GitHub

seL4 /seL4

The seL4 microkernel

★ 5,872⑂ 824
CCreated 2014-07-18sel4.systems
GitHub ↗
5,872
stars
824
forks
–
watchers
–
prs
–
issues
–
releases
–
discussions

Snapshot: 2026-11-10T09:35:25Z · Data license Apache-2.0 · JSON