safemeshvelvetmonkey
新着SafeMesh は、Lean 4 による形式検証された CRDT（G-Set、G-Counter、OR-Set など）を提供する no_std Rust ライブラリです。C、WASM/TS、Python バインディングを備え、小規模な組み込み状態同期に適しています。ユーザーは独自のトランスポート層を提供する必要があります。
OPEN SOURCE, OPEN TO EVERYONE
オープンソース。新しい可能性。
優れたオープンソースプロジェクトを見つけ、匿名でプロジェクトを投稿し、自分のプロジェクトを申請して編集できます。
✳編集部選定 · 良いオープンソースを発見4105発見済み
好奇心とともに、オープンソースの世界へ。
THE FIRST COLLECTIONTopic: crdt清除