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 cross-platform CLI tool for identifying Nth party vendor relationships through DNS analysis
Sanitize and transform large CSVs with millions of records quickly and efficiently.
Image codec comparison and evaluation library
Command line tool for cheap and efficient email automation
Command-line client to connect with the Electoral Commission gRPC API
Embedded redb key-value persistence backend for Vantage framework
A vault GUI for your offline passwords
Neural Networks framework with model building & data preprocessing features.
Neural Networks framework with model specification & data preprocessing features.
Four formats, one engine. PDF, DOCX, XLSX, HTML → Markdown and typed JSON. 15–40× faster than equivalent-quality OSS tools, with pipeline pre-flight and element-level provenance.
TradingView adapter for tail-fin: OHLCV + quote + screener + news + economic calendar + Pine Script catalog scraping, via the data.tradingview.com WebSocket protocol and public HTTPS endpoints. No browser required.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.