Register here ▸ or Log in ▸ to get started, or check out some of our featured projects:

Featured projects

~james/scope

OCaml tooling for tracing Xen guest address translation

~james/split

seL4 pager with proven memory isolation and frame reuse

~james/reorder

SMT x86_64 TSO model checking and minimum fence synthesis

~james/remy

Verified pixel compiler for TempleOS in Isabelle/HOL

~james/span

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

~gitpocket/gitpocket

A small git host in the sourcehut shape
More projects ▸