safemeshvelvetmonkey
نیاSafeMesh provides formally verified CRDTs (G-Set, G-Counter, OR-Set, etc.) using Lean 4 proofs and no_std Rust. It offers C, WASM/TS, and Python bindings for small, embeddable state synchronization, requiring users to provide their own transport layer.