Search

Find trending repositories by name or description.

4 results for “sel4”

RankRepository7 daysStars24h gainScore

seL4/seL4

C#9979 overall

The seL4 microkernel

7 daysStars5.5k24h gain-Score0.0

C#20614 overall

Neptune OS: A Windows NT-like operating system built on the seL4 microkernel

7 daysStars48324h gain-Score0.0

Rust#24695 overall

Microkit - A simple operating system framework for the seL4 microkernel

7 daysStars20024h gain-Score0.0

Rust#29100 overall

Rust support for seL4 userspace

7 daysStars19924h gain-Score0.0