مصدر مفتوح. آفاق جديدة.

Trahens هو بروتوكول بحثي مخصص لاكتشاف مسارات اللقاء الموجهة نحو الخصوصية وإدارة مستوى التحكم في الشبكات اللامركزية المدركة للمسارات.

sled هي قاعدة بيانات مدمجة تجريبية بلغة Rust بواجهة تشبه BTreeMap، وتوفر معاملات ACID، وعمليات ذرية للمفاتيح الفردية، وقراءات بدون نسخ، ودفعات كتابة، واشتراكات بادئات، ومساحات مفاتيح متعددة وعوامل دمج.

SafeMesh يوفر CRDTs تم التحقق منها رسميًا (G-Set، G-Counter، OR-Set، إلخ) باستخدام براهين Lean 4 وRust بدون std. يقدم ارتباطات C وWASM/TS وPython للمزامنة الصغيرة القابلة للتضمين للحالة، ويتطلب من المستخدمين توفير طبقة النقل الخاصة بهم.