safemeshvelvetmonkey
신규SafeMesh는 Lean 4 증명과 no_std Rust를 사용하여 공식적으로 검증된 CRDT(G-Set, G-Counter, OR-Set 등)를 제공합니다. 작은 임베디드 상태 동기화를 위해 C, WASM/TS, Python 바인딩을 제공하며, 사용자는 자체 전송 계층을 제공해야 합니다.
OPEN SOURCE, OPEN TO EVERYONE
오픈 소스. 새로운 가능성.
우수한 오픈 소스 프로젝트를 발견하고, 익명으로 프로젝트를 제출하며, 내 프로젝트를 신청해 편집하세요.
✳편집자 선정 · 좋은 오픈 소스 발견4109발견됨
호기심으로 오픈 소스의 세계를 발견하세요.
THE FIRST COLLECTIONTopic: crdt清除