Pemilik · seL4

seL4

Repositori open source terpantau milik seL4, diurutkan berdasarkan bintang.

2 repositori

#1
seL4 ↗@seL4C
Mikrokernel seL4
★ 5.730+8Perubahan bintang dalam 7 hari terakhir
#2
l4v ↗@seL4Isabelle
Spesifikasi dan bukti seL4
★ 636+4Perubahan bintang dalam 7 hari terakhir