OPEN SOURCE, OPEN TO EVERYONE

Código aberto. Novas possibilidades.

Descubra projetos open source de qualidade, envie projetos anonimamente e reivindique e edite seu próprio projeto.

✳Seleção editorial · Descubra bons projetos open source4105descobertos

Um pouco de curiosidade. Um mundo de código aberto.

THE FIRST COLLECTION

Topic: crdt清除

safemeshvelvetmonkey

NOVO

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.

DesenvolvimentoDadosBackend & APIs

☆ 0Rust

♡↗