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.
Query builder and iteration over rust-key-paths KpType for Vec collections
Keypaths for Rust: Static dispatch implementation (rust-keypaths) and legacy dynamic dispatch (key-paths-core). Type-safe, composable access to nested data structures.
Proc-macro derive to generate keypath methods using rust-keypaths (static dispatch)
The free opensource version of the Quantum Secure Cryptographic library in Rust (QRC)
Proc-macro derive to generate keypath methods
CLI air quality checker: 14-signal comfort, event detection, pollution fronts, source attribution, sensor/model merge
Health monitoring, stuck detection, watchdog — the guardian of agent uptime
Rust implementation of ECgFp5 elliptic curve and Schnorr signatures over the Goldilocks field
Pure-Rust, zero-dependency parser for Adobe Font Metrics (AFM) v4.x.
Post-quantum cryptography suite — ML-DSA (FIPS 204) + FN-DSA (FIPS 206) + ML-KEM (FIPS 203) + SLH-DSA (FIPS 205)
Production-grade post-quantum threshold multisignature library using Falcon-512 (NIST FIPS 206 / FN-DSA)
Gem is based on the mobile API. Search, details, films, people.
Используйте https://github.com/groverz/kp_api