Sheet index — projects
Projects
Languages, frameworks, and applications, with notes on how they work and what they bring together. Each project links to its own site or source.
01
Tyu
A systems programming language that makes program structure and correctness easier to examine. A compiler, an optional mathematical proof pipeline, and a teaching book bring the language and its ideas together.
02
Flavite
A desktop workspace for writing notes, connecting ideas, and exploring how they relate. Editing, reading, search, and a map of note links come together while your notes stay as plain text files.
03
Relurpify
A framework for building AI agents with explicit rules for what their tools are allowed to do. It brings permissions, isolated execution, and replayable context into a shared foundation for agent workflows.
04
Theteia
A way to direct a local opencode coding agent from Discord or Signal. Review a finished session from your phone, then accept the work, follow up, or set the attempt aside and try again.
05
lurpicUI
A Go framework for realtime interfaces, mixed media, and data visualization on Linux and Android. It connects a structured scene model to rendering, assets, and the tools needed to build an application for a device.