Descubra projetos open source de qualidade, envie projetos anonimamente e reivindique e edite seu próprio projeto.
Um pouco de curiosidade. Um mundo de código aberto.
THE FIRST COLLECTIONsled é um banco de dados embarcado em Rust, em versão beta, com API semelhante a BTreeMap, transações ACID, operações atômicas, leituras zero-copy, lotes de escrita, assinaturas por prefixo, múltiplos keyspaces e operadores de merge.
SafeMesh oferece CRDTs verificados formalmente (G-Set, G-Counter, OR-Set, etc.) usando provas Lean 4 e Rust no_std. Fornece bindings para C, WASM/TS e Python para sincronização de estado pequena e incorporável, exigindo que os usuários forneçam sua própria camada de transporte.
