trahensandreabenetton
ADDEDTrahens is a research protocol for privacy-oriented rendezvous route discovery and control-plane management in decentralized, path-aware networks.
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 source4101discovered
A little curiosity. A world of open source.
THE FIRST COLLECTIONTopic: formal-methods清除
sledspacejam
ADDEDsled is a beta embedded database for Rust with a BTreeMap-like API, ACID transactions, atomic single-key operations, zero-copy reads, write batches, prefix subscriptions, multiple keyspaces and merge operators.
safemeshvelvetmonkey
ADDEDSafeMesh 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.