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.
Senior SysAdmin, Network Admin, Data Analyst, and Software Engineer living in your terminal. A high-precision local AI agent harness for LM Studio, Ollama, and other local OpenAI-compatible runtimes that runs 100% on your own silicon. Reads repos, edits files, runs builds, inspects full network state and workstation telemetry, and runs real Python/JS for data analysis.
High-performance AI coding agent CLI - Rust port of Pi Agent
A secure, high-performance messaging protocol library
A highly parallel Perl 5 interpreter written in Rust
High-performance document conversion engine for AI/LLM embeddings - 27 formats supported
PDF → Markdown extractor with figure rasterization, table & banner detection. Built on pdfium-render.
Export vocabulary from Duocards
The fastest Rust PDF library with text extraction: 0.8ms mean, 100% pass rate on 3,830 PDFs. 5× faster than pdf_extract, 17× faster than oxidize_pdf. Extract, create, and edit PDFs.
Overlay searchable CJK text on PDFs, extract text, merge/split pages — pure Rust, zero C dependencies
A Rust rewrite of the Bound Book format by ef1500
HMAC-based Extract-and-Expand Key Derivation Function (HKDF)
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.