ओपन सोर्स। नई संभावनाएँ।

SafeMesh предоставляет формально верифицированные CRDT (G-Set, G-Counter, OR-Set и др.) с использованием доказательств Lean 4 и Rust без std. Он предлагает привязки для C, WASM/TS и Python для малой, встраиваемой синхронизации состояния, требуя от пользователей предоставления собственного транспортного слоя.