This is a demo directory website built with Ever Works
ruvector-verified
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.
ruvector-verified-wasm
WASM bindings for ruvector-verified, enabling browser/edge formal verification of vector operations.
Page 1 of 84
