trahensandreabenetton
नयाTrahens विकेंद्रीकृत, पाथ-अवेयर नेटवर्क में गोपनीयता-उन्मुख रेंडेवू रूट डिस्कवरी और कंट्रोल-प्लेन प्रबंधन के लिए एक शोध प्रोटोकॉल है।
OPEN SOURCE, OPEN TO EVERYONE
ओपन सोर्स। नई संभावनाएँ।
उत्कृष्ट ओपन-सोर्स प्रोजेक्ट खोजें, गुमनाम रूप से प्रोजेक्ट सबमिट करें और अपने प्रोजेक्ट का दावा कर उसे संपादित करें।
✳संपादकीय चयन · अच्छा ओपन सोर्स खोजें4109खोजे गए
जिज्ञासा के साथ ओपन सोर्स खोजें।
THE FIRST COLLECTIONTopic: formal-methods清除
sledspacejam
नयाsled रस्ट के लिए एक बीटा एम्बेडेड डेटाबेस है जिसमें BTreeMap-जैसा API, ACID ट्रांज़ैक्शन, परमाणु एकल-कुंजी संचालन, शून्य-प्रतिलिपि रीड, राइट बैच, उपसर्ग सब्सक्रिप्शन, कई कीस्पेस और मर्ज ऑपरेटर शामिल हैं।
safemeshvelvetmonkey
नयाSafeMesh предоставляет формально верифицированные CRDT (G-Set, G-Counter, OR-Set и др.) с использованием доказательств Lean 4 и Rust без std. Он предлагает привязки для C, WASM/TS и Python для малой, встраиваемой синхронизации состояния, требуя от пользователей предоставления собственного транспортного слоя.