Projects

Working examples, proofs, and references.

Krellin Sandboxed Runtime for AI-Assisted Development

A local-first runtime that runs AI-assisted development inside per-repo Docker capsules, prioritizing deterministic resets, serialized actions, and a minimal host blast radius. Read more

LankaDB In Progress: Distributed KVP Database With Deterministic Replication

A deterministic, quorum-replicated key-value control-plane database optimized for predictable failure modes, efficient replication, and operational simplicity. Read more

pgWarden Infrastructure-Level Enforcement for PostgreSQL

Infrastructure-level enforcement for PostgreSQL access, focusing on non-bypassable policy, blast-radius containment, and deterministic failure modes. Read more