Eigentümer · seL4

seL4

Erfasste Open-Source-Repos von seL4, sortiert nach Sternen.

2 Repos

#1
seL4 ↗@seL4C
Der seL4-Mikrokernel
★ 5.730+8Sterne-Änderung der letzten 7 Tage
#2
l4v ↗@seL4Isabelle
seL4-Spezifikation und -Beweise
★ 636+4Sterne-Änderung der letzten 7 Tage