trahensandreabenetton
新着Trahensは、分散型パス認識ネットワークにおけるプライバシー重視のランデブー経路探索およびコントロールプレーン管理のための研究プロトコルです。
OPEN SOURCE, OPEN TO EVERYONE
オープンソース。新しい可能性。
優れたオープンソースプロジェクトを見つけ、匿名でプロジェクトを投稿し、自分のプロジェクトを申請して編集できます。
✳編集部選定 · 良いオープンソースを発見4109発見済み
好奇心とともに、オープンソースの世界へ。
THE FIRST COLLECTIONTopic: formal-methods清除
sledspacejam
新着sledはRust製のベータ版組み込みデータベースで、BTreeMap風API、ACIDトランザクション、アトミックな単一キー操作、ゼロコピー読み取り、書き込みバッチ、プレフィックス購読、複数キースペース、マージ演算子を備える。
safemeshvelvetmonkey
新着SafeMesh は、Lean 4 による形式検証された CRDT（G-Set、G-Counter、OR-Set など）を提供する no_std Rust ライブラリです。C、WASM/TS、Python バインディングを備え、小規模な組み込み状態同期に適しています。ユーザーは独自のトランスポート層を提供する必要があります。