Topic Hub
#sel4 (2 Repositories)
Ranked open-source repositories tagged with #sel4, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
0.0%
Avg Review Latency
0.0h
Filter by language
2 repositories tagged #sel4
D TierRust 896
redox-os/kernel
Mirror of https://gitlab.redox-os.org/redox-os/kernel
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierC 453
cl91/NeptuneOS
Neptune OS: A Windows NT personality for the seL4 microkernel
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers