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.
quick n' dirty non-global aliases/scripts
A highly parallel Perl 5 interpreter written in Rust
A Wordle clone for the terminal
Thin wrapper around SQLx that emits OpenTelemetry spans and metrics following the database client semantic conventions.
Lightweight CLI framework based on filesystem hierarchy
Behavior contracts for AI agents — tested in your PR, enforced at runtime. Core engine: parser, writer, content-addressed store, replay, and nine-axis behavioral differ.
A CLI tool to interact with Android UI elements with CSS-like selectors.
Smart Move - An enhanced mv command with transformation capabilities
Web scanner built for actual pentests. Fast, modular, Rust.
Stateless, async-native SAML 2.0 toolkit with no libxml2/xmlsec C build chain
CLI for scanning EC2 instances, estimating cost, and flagging stale resources