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.
Unified TUI search over local coding agent histories
AI/Human task management system with file-based storage
A highly parallel Perl 5 interpreter written in Rust
A centralized daemon that caches shell state (git, battery, hostname, etc.) so every consumer reads from one fast cache instead of independently forking shells
Client library for querying the beachcomber (comb) shell state daemon
jbx: one-stop Java toolbox for scripts, tools, and agents
Generate multi-layered, LLM-friendly index files for Rust codebases
A little program that prettifies another program's output
juv: a Rust port of JBang
Dependency upgrade impact analyzer — test upgrades against your projects' real CI before you adopt them
A feature-selective Rust utility crate — a modular collection of opt-in utilities spanning encryption, HTTP networking, geolocation, and build-time fingerprinting. Enable only the features your project requires.
Verify all your dependencies allow the latest versions on Puppet Forge
Verify all your dependencies allow the latest versions on Puppet Forge. Based on https://github.com/ekohl/metadata_json_deps