Owner · seL4

seL4

seL4's tracked open-source repos, sorted by stars.

2 repos

#1
seL4 ↗@seL4C
The seL4 microkernel
★ 5,730+8Star change over the last 7 days
#2
l4v ↗@seL4Isabelle
seL4 specification and proofs
★ 636+4Star change over the last 7 days