Tema · sel4

sel4

Repositorios de código abierto monitorizados etiquetados con sel4, ordenados por estrellas.

Repositorios

4

Estrellas totales

23.843

Estrellas de media

5961

Proporción

0,00%

Temas que aparecen con frecuencia junto a sel4 en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con sel4.

No hay repositorios nuevos con este tema en los últimos 90 días.

#1
redox ↗@redox-osRust
Espejo de https://gitlab.redox-os.org/redox-os/redox
★ 16.549+8Variación de estrellas de los últimos 7 días
#2
seL4 ↗@seL4C
El micronúcleo seL4
★ 5730+8Variación de estrellas de los últimos 7 días
#3
kernel ↗@redox-osRust
Espejo de https://gitlab.redox-os.org/redox-os/kernel
★ 901-1Variación de estrellas de los últimos 7 días
#4
RISC-V-Guide ↗@mikeroyalAssembly
Guía de RISC-V. Aprende todo sobre la arquitectura de computadoras RISC-V junto con las herramientas de desarrollo y sistemas operativos para programar en hardware RISC-V.
★ 662+2Variación de estrellas de los últimos 7 días

← Volver a temas