React component for integrating the Swipelux On-Ramp Widget into your application.
The authorization and audit layer for AI agents
Financial security guard for OpenClaw agents — protects crypto, stocks, purchases, and banking with five deterministic defense engines
Official TypeScript SDK for Vienna OS — AI Agent Governance Platform
Compliance proxy for AI agent tool calls — intercepts, signs, and logs MCP actions
Memory-safe financial transaction validator with ML-based fraud detection, real-time sanctions screening, and ISO 20022 support
High-throughput file transfer over high-latency internet links
Ring-based access control for resources over iroh protocols.
Async MAVLink SDK for vehicle control, missions, and parameters
A lightweight, high-performance TCP wire protocol for transferring Execution Witnesses.
High-performance, schema-agnostic, backend-agnostic event bus
High-performance, schema-agnostic, backend-agnostic event bus
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.
Memory-safe security logging for financial systems and critical infrastructure with encryption, log forwarding, and compliance automation
Self-evolving knowledge substrates through biological computing primitives
Data transfer objects and wire types for Rustvello
No description provided.
No description provided.