a fast, general-purpose, persistent array structure for Gleam.

A semantic stack slicer for Jujutsu.

tangled on ur phone

seL4 pager with proven memory isolation and frame reuse

Verified pixel compiler for TempleOS in Isabelle/HOL

Check your hole in the ground. Bagend is a portability and backup readiness checker for atproto accounts.

OCaml tooling for tracing Xen guest address translation

It's your PDS. It's Gleam.

A GPU terminal emulator for Wayland and Windows on libghostty-vt, drawing with Vulkan, running a program on a pty or a serial port.

The Island of TeX's official website

Our Personal Data Server from scratch!

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

web-browser for macOS built on gpui and servo

Monorepo for Tangled