A replica of Keytrace

Decentralized alternatives to traditional social media platforms using the AT Protocol

Lasa is a stateless proxy that generates a RSS or an Atom feed from a Standard.site publication.

iOS client for Grain

CBOR Object Signing and Encryption (RFC 9052)

Go boilerplate library for building atproto apps

a little carrier pigeon that ferries figma events to discord

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

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

OCaml tooling for tracing Xen guest address translation

A series of small-scale, amateur experiments in RPG creation (an area I’ve been out of practice in)

[READ ONLY MIRROR] Spark Social AppView Server

A collection of SVG Atmosphere Logomarks

A local-first, collaborative AI assistant that works for you. Built with open models and decentralized protocols.

Unofficial Paperbnd/Popfeed plugin for KOReader

Connects Rex clients and servers transparently via iroh.

Tangled knot on exe.dev: deployment and reusable setup prompt.