Thema · sel4

sel4

Erfasste Open-Source-Repos mit dem Tag sel4, sortiert nach Sternen.

Repos

4

Sterne gesamt

23.843

Sterne im Schnitt

5.961

Anteil

0,00%

Themen, die häufig gemeinsam mit sel4 am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit sel4 getaggt wurden.

In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.

#1
redox ↗@redox-osRust
Spiegelung von https://gitlab.redox-os.org/redox-os/redox
★ 16.549+8Sterne-Änderung der letzten 7 Tage
#2
seL4 ↗@seL4C
Der seL4-Mikrokernel
★ 5.730+8Sterne-Änderung der letzten 7 Tage
#3
kernel ↗@redox-osRust
Spiegelung von https://gitlab.redox-os.org/redox-os/kernel
★ 901-1Sterne-Änderung der letzten 7 Tage
#4
RISC-V-Guide ↗@mikeroyalAssembly
RISC-V-Leitfaden. Erfahren Sie alles über die RISC-V-Computerarchitektur sowie Entwicklungswerkzeuge und Betriebssysteme für die Entwicklung auf RISC-V-Hardware.
★ 662+2Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen