atproto, agents, terminal multiplexers

selfhostable, read-only reddit client

an infinite-canvas terminal multiplexer using gpui

SMT x86_64 TSO model checking and minimum fence synthesis

Verified pixel compiler for TempleOS in Isabelle/HOL

seL4 pager with proven memory isolation and frame reuse

OCaml tooling for tracing Xen guest address translation

Monorepo for Tangled

engineering blog at https://blog.tangled.org

Community maintained Docker config for the knot server