SMT x86_64 TSO model checking and minimum fence synthesis

JUnit XML test reports, read and written through nox-xml codecs

seL4 pager with proven memory isolation and frame reuse

OCaml tooling for tracing Xen guest address translation

Personal Data Server (PDS) built with Elixir

The Island of TeX's official website

Tangled knot on exe.dev: deployment and reusable setup prompt.