Projects

The software work, with status and links. Not the whole picture — just the part that ships this way.

Featured

The clearest starting points in the project list

dotrepo

Active

A trust-aware metadata protocol, Rust toolchain, and live public index for software repositories.

rust protocol metadata mcp developer-tools

GitHub ↗ Site ↗

ries-rs

Active

A reference implementation of RIES that ships as a CLI, Rust library, Python bindings, and a browser/WASM app.

rust wasm math number-theory cli

GitHub ↗ Live App

Genesis Kernel (GK5)

In Progress

A Lean 4 project testing whether mathematical and physical structure can be derived from a minimal discrete starting point.

lean4 formal-verification physics dependent-types

RamenOS

In Progress

A capability-based Rust microkernel exploring a post-Unix system built around typed contracts, user-space drivers, and explicit authority boundaries.

rust os systems microkernel

In Progress

Longer-range systems and research work still under construction

GeoCompress

In Progress

A Rust compression system that analyzes data geometrically and searches for transform chains tuned to each input.

rust compression geometry algorithms

Reading Order

If you want the quickest picture of the site, start with the live demo in ries-rs and then move into writing for process notes and implementation detail.