3 مستودعات
Frameworks that enforce strict property requirements and data integrity for structured data objects using compile-time type checking.
Distinct from Structured Types: Distinct from Structured Types: focuses on the framework-level enforcement of schema requirements for metadata generation rather than just the construction of nested struct types.
Explore 3 awesome GitHub repositories matching data & databases · Type-Safe Structured Data Frameworks. Refine with filters or upvote what's useful.
msgspec is a high-performance data modeling, serialization, and schema validation toolkit for Python. It serves as a type-safe serialization framework that integrates schema enforcement and data parsing into a single pass, functioning as both a data serialization library and a schema validation system based on standard Python type annotations. The project distinguishes itself through high-performance structural primitives, including compilation-based routine generation and zero-copy buffer parsing. It optimizes memory usage via garbage collection-aware layouts and reduces processing overhead
Integrates schema enforcement and data parsing into a single pass to achieve near-native execution speeds.
Schema-dts is a type-safe library providing TypeScript interfaces for modeling structured data and interconnected graph relationships. It serves as a framework for defining and enforcing strict property requirements for JSON-LD objects, ensuring that metadata generated for web applications and search engines adheres to established vocabulary standards. The project distinguishes itself by providing a comprehensive set of definitions for the Schema.org vocabulary, enabling developers to build complex, machine-readable data graphs with compile-time validation. It supports the composition of mult
Enforces strict property requirements and data integrity for machine-readable metadata through a type-safe framework.
هذه المكتبة عبارة عن إطار عمل لمعالجة البيانات لـ JVM يوفر بيئة آمنة من حيث النوع (type-safe) لمعالجة البيانات الجدولية المهيكلة. تعمل كمجموعة أدوات شاملة لإجراء تحويلات البيانات المعقدة، والتجميعات، والتحليل الإحصائي، مع الاستفادة من التحقق من المخطط (schema) في وقت التجميع لضمان السلامة الهيكلية عبر خطوط أنابيب البيانات. يتميز المشروع بتكامله العميق مع بيئات دفاتر الملاحظات التفاعلية واستخدامه لتوليد الكود في وقت التجميع. من خلال اشتقاق المخططات وفرضها تلقائياً من المدخلات الخام، فإنه يولد أدوات وصول آمنة من حيث النوع تتيح الإكمال التلقائي في IDE والتحقق الثابت من أسماء الأعمدة. تسمح هذه البنية للمطورين بتنفيذ معالجة خطوط الأنابيب الوظيفية مع الحفاظ على أمان صارم للأنواع، مما يمنع بشكل فعال أخطاء وقت التشغيل أثناء معالجة البيانات. تدعم المكتبة مجموعة واسعة من سير عمل البيانات، بما في ذلك استيراد وتعيين مخططات قواعد البيانات العلائقية، وإجراء التحليل الجغرافي المكاني، وتنفيذ محاور البيانات المعقدة. تتضمن أدوات واسعة النطاق لإنشاء البيانات، والتصفية، والفرز، وحساب الإحصاءات الوصفية. علاوة على ذلك، يوفر إطار العمل إمكانيات قوية للتصور وإعداد التقارير، مما يسمح للمستخدمين بعرض جداول HTML تفاعلية، وتأليف المستندات، وإنشاء المخططات مباشرة من مجموعات البيانات المهيكلة. تم تصميم المكتبة للاستخدام السلس داخل بيئات تطوير Kotlin وJava، مع دعم متخصص لإدارة التبعيات المؤتمتة وتكامل النواة في دفاتر الملاحظات التفاعلية.
Enforces strict property requirements and data integrity for structured data objects using compile-time type checking.