A small git host
GoUpdated 5 minutes ago
OCaml tooling for tracing Xen guest address translation
OCaml☆ 1Updated 3 hours ago
SMT x86_64 TSO model checking and minimum fence synthesis
OCaml☆ 1Updated 4 hours ago
seL4 pager with proven memory isolation and frame reuse
Isabelle☆ 1Updated 4 hours ago
Verified pixel compiler for TempleOS in Isabelle/HOL
Isabelle☆ 1Updated 4 hours ago
Verified branch relaxing assembler in Isabelle/HOL with provably minimal bytecode layouts
Isabelle☆ 1Updated 4 hours ago