Universal Development Tool Manager
Drop-in curl replacement with automatic anti-bot bypass
Unified TUI search over local coding agent histories
High-performance AI coding agent CLI - Rust port of Pi Agent
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 fast, friendly HTTP client for the terminal
Read, write, and modify Excel (.xlsx) files — combines calamine, rust_xlsxwriter, and umya-spreadsheet for best-in-class performance
A lightweight, profile-based HTTP client
A tiny, dynamic CLI parser driven by simple string definitions or markdown files.
Because simplicity matters, even in APIs
Hurl, run and test HTTP requests
Keygen for Ethereum & Substrate