Topic · sel4

sel4

Tracked open-source repos tagged sel4, sorted by stars.

Repos

4

Total stars

23,843

Avg. stars

5,961

Share

0.00%

Topics that frequently appear alongside sel4 on the same repo.

Recent risers

Repos created in the last 90 days, tagged sel4.

No new repos tagged with this topic in the last 90 days.

#1
redox ↗@redox-osRust
Mirror of https://gitlab.redox-os.org/redox-os/redox
★ 16,549+8Star change over the last 7 days
#2
seL4 ↗@seL4C
The seL4 microkernel
★ 5,730+8Star change over the last 7 days
#3
kernel ↗@redox-osRust
Mirror of https://gitlab.redox-os.org/redox-os/kernel
★ 901-1Star change over the last 7 days
#4
RISC-V-Guide ↗@mikeroyalAssembly
RISC-V Guide. Learn all about the RISC-V computer architecture along with the Development Tools and Operating Systems to develop on RISC-V hardware.
★ 662+2Star change over the last 7 days

← Back to topics