seL4 / l4v

seL4 specification and proofs
528Updated this week

Alternatives and similar repositories for l4v:

Users that are interested in l4v are comparing it to the libraries listed below