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 protocol for event-driven, bi-directional communication between clients and servers
A protocol for event-driven, bi-directional communication between clients and servers
Chaining Server
Enables graceful shutdown and zero-downtime restarts for Axum applications. 为 Axum 应用提供优雅停机与零停机重启功能。
Raknet protocol implementation by rust
Robust, event-driven Telnet (RFC 854) parser for MUD clients with GMCP, MSDP, MCCP support and zero-allocation hot paths
Local embedding service for text classification using ONNX models
MCP client with full protocol support, bidirectional communication, and plugin middleware
ENet for Rust (and wasm!) transpiled from C.
Core mTLS authentication library with IP whitelisting for Rust applications
Tmux-native orchestrator for AI agent sessions
No description provided.
No description provided.