safemeshvelvetmonkey
新收录SafeMesh 提供经过形式验证的 CRDT（G-Set、G-Counter、OR-Set 等），使用 Lean 4 证明和 no_std Rust。它提供 C、WASM/TS 和 Python 绑定，用于小型可嵌入状态同步，要求用户提供自己的传输层。
OPEN SOURCE, OPEN TO EVERYONE
好开源，值得被发现。
发现优质开源项目，匿名提交开源项目，认领编辑你的开源项目。
✳人工精选 · 发现好开源4109已发现
带着好奇心，发现开源世界。
THE FIRST COLLECTIONTopic: conflict-free-replicated-data-types清除