trahensandreabenetton
NOVOTrahens é um protocolo de pesquisa para descoberta de rotas de rendezvous orientada à privacidade e gerenciamento do plano de controle em redes descentralizadas e conscientes do caminho.
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 source4109descobertos
Um pouco de curiosidade. Um mundo de código aberto.
THE FIRST COLLECTIONTopic: formal-methods清除
sledspacejam
NOVOsled é 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.
safemeshvelvetmonkey
NOVOSafeMesh 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.