Tópico · sel4

sel4

Repositórios de código aberto acompanhados marcados com sel4, ordenados por estrelas.

Repositórios

4

Total de estrelas

23.843

Média de estrelas

5.961

Participação

0,00%

Tópicos que aparecem com frequência ao lado de sel4 no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com sel4.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

#1
redox ↗@redox-osRust
Espelho de https://gitlab.redox-os.org/redox-os/redox
★ 16.549+8Variação de estrelas nos últimos 7 dias
#2
seL4 ↗@seL4C
O micronúcleo seL4
★ 5.730+8Variação de estrelas nos últimos 7 dias
#3
kernel ↗@redox-osRust
Espelho de https://gitlab.redox-os.org/redox-os/kernel
★ 901-1Variação de estrelas nos últimos 7 dias
#4
RISC-V-Guide ↗@mikeroyalAssembly
Guia RISC-V. Aprenda tudo sobre a arquitetura de computadores RISC-V junto com ferramentas de desenvolvimento e sistemas operacionais para desenvolver em hardware RISC-V.
★ 662+2Variação de estrelas nos últimos 7 dias

← Voltar para os tópicos