tool for detachable ptys with optional tailscale discovery

personal fork of bluesky app

small gleam coding and persistent agent daemon with a detachable cli and a canvas ui

Monorepo for Tangled

Monorepo for Tangled

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

Verified pixel compiler for TempleOS in Isabelle/HOL

OCaml tooling for tracing Xen guest address translation

atmosphere explorer

an attempt to make a lightweight, easily self-hostable, scoped bluesky appview

Don't forget to lycansubscribe 🐺

lightweight com.atproto.sync.listReposByCollection

very fast at protocol indexer with flexible filtering, xrpc queries, cursor-backed event stream, and more, built on fjall