OPEN SOURCE, OPEN TO EVERYONE

Open source. Open possibilities.

Discover quality open-source projects, submit projects anonymously, and claim and edit your own project.

✳Human-curated · Discover open source4092discovered

A little curiosity. A world of open source.

THE FIRST COLLECTION

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

safemeshvelvetmonkey

ADDED

SafeMesh provides formally verified CRDTs (G-Set, G-Counter, OR-Set, etc.) using Lean 4 proofs and no_std Rust. It offers C, WASM/TS, and Python bindings for small, embeddable state synchronization, requiring users to provide their own transport layer.

Developer toolsData & databasesBackend & APIs

☆ 0Rust

♡↗