AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
ZTNet CLI — manage ZeroTier networks via ZTNet
A custom logging layer for sending logs to Google Cloud Logging using tracing and tracing-subscriber.
A Rust-based web frontend for delegating and managing subdomains under a configured base domain using PowerDNS. Users can register a subdomain, authenticate using Basic Auth, and manage DNS records through a simple API. Simple Web UI included.
A small command-line tool for managing a single Google Compute Engine VM you use as a development or work machine.
A split-horizon DNS server and forwarding resolver with gRPC management
A complete library to interact with Container (protocol v1)
Rust client library for the Proxmox VE API
CLI and TUI for managing UniFi network controllers
Fast, async DNS lookup library and CLI -- modern dig/host replacement with parallel multi-server queries, DoH, DoT, subdomain discovery, and zone verification
Agent runtime with LLM request routing and translation
Semantic-delta engines for entropyx — Rust via syn; tree-sitter for multi-language lands later.