Skip to content

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.

ries-rs

Active

A reference implementation of RIES that ships as a CLI, Rust library, Python bindings, and a browser/WASM 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.

RamenOS

In Progress

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

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.

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.