3 repositories matching language:Isabelle

~james/split

seL4 pager with proven memory isolation and frame reuse

IsabelleUpdated 3 hours ago

~james/remy

Verified pixel compiler for TempleOS in Isabelle/HOL

IsabelleUpdated 3 hours ago

~james/span

Verified branch relaxing assembler in Isabelle/HOL with provably minimal bytecode layouts

IsabelleUpdated 3 hours ago