Proprietário · seL4

seL4

Repositórios de código aberto acompanhados de seL4, ordenados por estrelas.

2 repositórios

#1
seL4 ↗@seL4C
O micronúcleo seL4
★ 5.730+8Variação de estrelas nos últimos 7 dias
#2
l4v ↗@seL4Isabelle
Especificação e provas do seL4
★ 636+4Variação de estrelas nos últimos 7 dias