Propietario · seL4

seL4

Repositorios de código abierto monitorizados de seL4, ordenados por estrellas.

2 repositorios

#1
seL4 ↗@seL4C
El micronúcleo seL4
★ 5730+8Variación de estrellas de los últimos 7 días
#2
l4v ↗@seL4Isabelle
Especificación y pruebas de seL4
★ 636+4Variación de estrellas de los últimos 7 días