OPEN SOURCE, OPEN TO EVERYONE

Código abierto. Nuevas posibilidades.

Descubre proyectos de código abierto de calidad, envía proyectos de forma anónima y reclama y edita tu propio proyecto.

✳Selección editorial · Descubre buen código abierto4109descubiertos

Un poco de curiosidad. Un mundo de código abierto.

THE FIRST COLLECTION

Topic: conflict-free-replicated-data-types清除

safemeshvelvetmonkey

NUEVO

SafeMesh ofrece CRDTs verificados formalmente (G-Set, G-Counter, OR-Set, etc.) usando pruebas de Lean 4 y Rust no_std. Proporciona enlaces para C, WASM/TS y Python para una sincronización de estado pequeña y embebida, requiriendo que los usuarios proporcionen su propia capa de transporte.

DesarrolloDatosBackend & APIs

☆ 0Rust

♡↗