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

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

RxDB هي قاعدة بيانات NoSQL تفاعلية محلية أولاً لتطبيقات JavaScript، تعمل في المتصفحات، Node.js، React Native، Electron وغيرها. توفر طبقة تخزين قابلة للتبديل ومحرك مزامنة ينسخ البيانات مع الخلفية الحالية عبر HTTP، GraphQL، CouchDB، WebSocket ومحوّلات أخرى.