an independent Bluesky client using Constellation, PDS Queries, and other services

Demo using Slices Network GraphQL Relay API to make a teal.fm client

A human-friendly DSL for ATProto Lexicons

handy online tools for AT Protocol

a tool for shared writing and social publishing

mount an atproto PDS repository as a FUSE filesystem

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

An unofficial terminal client for Tangled, optimized for humans and agents.

Monorepo for Tangled

web-browser for macOS built on gpui and servo