Corey Lewis's repositories
capdl
Capability Distribution Language tools for seL4
Language:Haskell000
isabelle-symbols-bitbucket-github
A userscript to render Isabelle symbols in unicode in Bitbucket and Github repos (for use with tampermonkey / greasemonkey).
Language:JavaScript000
l4v
seL4 specification and proofs
Language:IsabelleNOASSERTION000
seL4
The seL4 microkernel
Language:CNOASSERTION000
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
Language:CNOASSERTION000
sel4test
Test suite for seL4.
NOASSERTION000
socket-avalon
Avalon helper app using socket.io
verification-manifest
Manifests for the collection of verification repositories
000