seL4 pager with proven memory isolation and frame reuse

Verified pixel compiler for TempleOS in Isabelle/HOL

OCaml tooling for tracing Xen guest address translation

Monorepo for Tangled

web-browser for macOS built on gpui and servo