Projects

A public map of the work: formal math, systems programming, protocols, and developer tooling. Some are already live. Some are long-range builds. All of them matter.

Total

5

Featured

4

Active

2

In Progress

3

formal-verification systems rust protocol developer-tools wasm

Featured

The clearest starting points in the project list

dotrepo

Active

A repository metadata protocol and Rust toolchain for making repos easier for humans and agents to understand, trust, and work with.

rust protocol metadata mcp developer-tools

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
repo ↗ ▸ live demo

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.