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.
Command-line interface for LUMOS
Core schema parsing and code generation for LUMOS
A cross-platform system proxy detector with strong support for complex enterprise PAC scripts
Detects file changes and sends message to mangrove script plugin
Natural language detection library
Lightweight headless browser for security testing. Fast, pure Rust, no Chrome.
A blazingly fast, intelligent package manager proxy that automatically detects and forwards commands to npm, yarn, or pnpm
An accurate natural language detection library, suitable for short text and mixed-language text
Natural language alphabet detection library
OptiRS benchmarking, profiling, and performance analysis tools
Pure-Rust detector for coded ring calibration targets
Utility library for determining if string is traditional Chinese, simplified Chinese, Japanese or Korean
Improved utility library for determining if string is Traditional Chinese, Simplified Chinese, Japanese or Korean
Detect the unicode script per character
No description provided.
No description provided.
No description provided.