Awesome GitHub RepositoriesStructured Data Modeling

Bosque هي لغة برمجة تجريبية ومنصة تطوير مصممة لبناء البرمجيات بمساعدة الآلة. تجمع بين دلالات البرمجة الوظيفية وبناء الجملة الإلزامي لفرض صحة المنطق وسلامة وقت التشغيل، مما يوفر بيئة آمنة من حيث النوع تستخدم نماذج بيانات منظمة للحفاظ على سلامة المعلومات طوال دورة حياة التطبيق. تتميز المنصة بالتكامل العميق مع أدوات التحقق الرسمية، بما في ذلك أدوات إثبات النظريات الآلية ومحركات التنفيذ الرمزي. من خلال تحويل الكود المصدري إلى تمثيل وسيط منتظم، يتيح النظام التفكير الآلي لإثبات غياب أخطاء وقت التشغيل وانتهاكات المنطق. علاوة على ذلك، تم تصميم وقت التشغيل لأداء يمكن التنبؤ به، باستخدام مترجم متخصص يلغي توقفات جمع القمامة لضمان زمن انتقال تنفيذ متسق. يوفر المشروع مجموعة شاملة من الأدوات للتطوير عالي الموثوقية، تغطي إدارة حزم المشاريع، وتتبع التبعيات، والتحقق الآلي من خصائص الكود. كما يدعم تصميم الواجهات المحايدة للغة، مما يسمح للمطورين بتعريف هياكل البيانات المشتركة وعقود الخدمة التي تضمن التحقق المتسق عبر مكونات البرمجيات المتنوعة.

هذا المشروع هو إطار الإدارة الأساسي لجهاز أمان، ويوفر البنية التحتية الأساسية لإدارة جدار الحماية، ومنع اختراق الشبكة، وشبكات التوفر العالي. يعمل كنظام مركزي للتحكم في سياسات أمان الشبكة، وتصفية حركة المرور، وإدارة لوحة تحكم جهاز الأمان. يتميز النظام بقدرات التوفر العالي، والتي تشمل مزامنة التكوينات وجداول حالة الاتصال عبر العقد المتكررة لتمكين تجاوز الفشل التلقائي للأجهزة. كما يتميز ببنية إضافات معيارية لتوسيع منطق الواجهة الخلفية وواجهات المستخدم، إلى جانب API قائم على JSON للإدارة البرمجية لقواعد جدار الحماية وإعدادات النظام. تغطي المنصة مجموعة واسعة من مجالات القدرة، بما في ذلك تكوين الشبكة لـ IPv4 و IPv6، وأنفاق VPN الآمنة، وإدارة البوابة المقيدة (captive portal)، وأدوات المراقبة والملاحظة الشاملة. كما تدمج إدارة الهوية مع المصادقة متعددة العوامل وتوفر أدوات لنسخ التكوين احتياطياً، وتتبع الإصدار، والنشر عبر أجهزة x86-64.

TypeDB هو قاعدة بيانات رسومية ذات نوع قوي ونظام إدارة قاعدة بيانات معرفية. يعمل كمخزن بيانات متعدد النماذج يوحد الهياكل العلائقية والمستندية والرسومية في بيئة واحدة، ويعمل كقاعدة بيانات متوافقة مع ACID ومحرك استعلام تصريحي. يتميز النظام باستخدام نمذجة الرسم البياني الفائق (n-ary hypergraph) وتسلسلات هرمية للأنواع متعددة الأشكال. يستخدم مخططاً ذا نوع قوي لفرض القواعد الهيكلية والتحقق من سلامة البيانات، مما يسمح بالاستدلال متعدد الأشكال القائم على النوع وتعدد أشكال الواجهة القائم على الدور لحل العلاقات المعقدة تلقائياً أثناء تنفيذ الاستعلام. تغطي المنصة مجموعة واسعة من القدرات بما في ذلك حساب العلاقات العودية عبر الجدولة، ومعاملات عزل اللقطات، واسترجاع البيانات التصريحي. كما يدعم التوافر العالي من خلال تكرار الكتلة القائم على الإجماع، والتحكم في الوصول القائم على الدور، والتكامل مع وكلاء الذكاء الاصطناعي لاسترجاع البيانات المهيكلة. يتم دعم الإدارة عبر واجهة سطر أوامر، ويوفر النظام أدوات لتصور مخططات الرسوم البيانية وتدقيق النشاط الإداري.

The reverse-linear-sync-engine is a data synchronization framework designed to manage distributed application state. It provides a system for tracking local data mutations, resolving discrepancies between multiple sources, and maintaining consistency across connected clients through a centralized transaction-based model. The engine distinguishes itself by integrating reactive state observation with a transaction history stack. This combination allows the framework to automatically refresh interface components when data changes while simultaneously enabling precise undo and redo functionality.