Projects
Open-source projects I build and maintain. Each has one page: the problem it solves, its architecture and design trade-offs, and how far it has been verified.

Tools1 project
Tools for development and operations, each with its architecture, design trade-offs and verification status.
