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.
AI inference gateway — multi-provider LLM routing, local model serving, speech-to-text, and token budget management
CLI management tool for the Mnemo LLM memory proxy
A transparent HTTP proxy that gives your LLM long-term memory
A modern replacement for sudo/doas
Core library for Engram -- persistent semantic memory for AI agents
Ready-to-use NLP pipelines and language models
Unified telemetry system for monitoring and observability
Graph-first Rust runtime for durable LLM agents
Datasets module for SciRS2 (scirs2-datasets)
Tiny LLM inference for ESP32 microcontrollers with INT8/INT4 quantization, multi-chip federation, RuVector semantic memory, and SNN-gated energy optimization
Reusable AI assistant library for local LLM integration (Ollama, LM Studio, etc.)
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.