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.
A highly parallel Perl 5 interpreter written in Rust
Rust bindings for the Listen Notes Podcast API
Blistering-fast Avro CLI tool — a modern replacement for avro-tools and fastavro
Generic HTTP API log collector: polls APIs and emits NDJSON to stdout
A dynamically-typed, class-based OOP language with optional type annotations and pipeline operators
macOS clipboard + OCR daemon exposed to Claude Code as an MCP server
A lightweight, cross-platform Rust code profiling toolkit with zero overhead when disabled
Fast and safe Hazard pointers for Rust.
An Interception Tools filter to eliminate keyboard chatter (switch bounce).
Rust client for Supabase
Zero-heap, single-threaded CLI chat core for embedded devices.