Rust crate for proof-carrying vector operations using lean-agentic dependent types, providing formal verification with ~500ns proofs for secure vector computations in AI systems.
Loading more......
ruvector-verified-wasm
WASM bindings for ruvector-verified, enabling browser/edge formal verification of vector operations.
ruvector-attention-unified-wasm
Unified WASM bindings for 18+ attention mechanisms including neural, DAG, and Mamba SSM, optimized for vector search and processing.
ruvector-cli
Command-line interface for RuVector vector database, supporting initialization, insert, search, and hooks for AI coding assistants.
ruvector-economy-wasm
CRDT-based autonomous credit economy in WASM for decentralized vector resource allocation and AI agent economics.
ruvector-exotic-wasm
WASM crate with exotic AI primitives like strange loops and time crystals for advanced vector computations in novel AI architectures.
ruvector-gnn
Rust crate for Graph Neural Network layers and training integrated with vector search. Powers GNN-enhanced HNSW reranking and semantic routing in RuVector. Supports browser and edge deployment via WASM.
