Verified pixel compiler for TempleOS in Isabelle/HOL

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

seL4 pager with proven memory isolation and frame reuse

SMT x86_64 TSO model checking and minimum fence synthesis

OCaml tooling for tracing Xen guest address translation

sqlite-backed shell history

A Excalidraw fork with syncing to your Atmosphere account and iroh for sync

🐿️ Type safe SQL in Gleam

Peer-to-peer file synchronization in Rust on iroh.

iOS client for Grain

pushes on tangled