Awesome GitHub RepositoriesComplex Structure Validation

Arktype is a TypeScript runtime validation library and schema orchestrator. It synchronizes TypeScript types with runtime data validation, allowing users to define type-safe schemas that ensure unknown data adheres to specific structures during application execution. The project distinguishes itself by using set-theory type analysis to determine intersections and subtype compatibility, alongside JIT-compiled validation functions for optimized performance. It supports advanced type modeling through branded type constraints, recursive alias resolution, and the ability to generate runtime valida

Pytype هي أداة تحليل كود ساكن ومحرك استنتاج الأنواع لـ Python. تعمل كمحلل أنواع ساكن يكتشف عدم تطابق الأنواع ويتحقق من تعليقات الأنواع دون الحاجة إلى تلميحات يدوية كاملة، بينما تعمل أيضاً كمولد stub للأنواع لإنتاج ملفات تعريف مستقلة. يتميز المشروع بتحديد أنواع المتغيرات والدوال تلقائياً من خلال تحليل أنماط الكود والتعيينات. يسمح محرك الاستنتاج هذا بالتحقق الهيكلي للكود وتوليد stubs للأنواع التي تصف واجهات الوحدات والدوال. يغطي النظام عمليات تحليل ساكن واسعة، بما في ذلك التحقق الهيكلي لتسلسلات هرمية للفئات واستدعاءات الدوال، وتتبع الرموز لاكتشاف أخطاء مساحة الاسم وانتهاكات الوصول إلى السمات. كما يوفر بدائيات التحقق من الأنواع لفرض التعليقات ونظام أنواع قادر على نمذجة هياكل البيانات المعقدة باستخدام الاتحادات والخيارات.

Dry-validation هي مكتبة Ruby مصممة لتعريف مخططات آمنة من حيث النوع وقواعد التحقق المعقدة للتحقق من هياكل بيانات الإدخال وتطهيرها. توفر إطار عمل رسمياً لبناء منطق تحقق معياري، مما يضمن أن المعلومات الواردة تلبي متطلبات العمل وتنسيقات البيانات المحددة قبل معالجتها بواسطة التطبيق. تستخدم المكتبة لغة خاصة بالمجال (DSL) للإعلان عن قواعد التحقق، والتي يتم تحليلها بعد ذلك إلى كائنات قابلة للتنفيذ. تتميز المكتبة بنظام قائم على الماكرو يجمع منطق التحقق الشائع في اختصارات قابلة لإعادة الاستخدام، إلى جانب نموذج تكوين متكرر يسمح للمطورين بتداخل كائنات التحقق لبناء هياكل هرمية معقدة. يتيح هذا النهج إنشاء منطق متسق ومعياري يمنع تكرار الكود عبر التطبيقات الكبيرة. بعيداً عن تعريف المخطط الأساسي، تتضمن المكتبة خط أنابيب لفرض النوع (type-coercion) يحول الإدخال الخام إلى التنسيقات المتوقعة ونظام تجميع أخطاء منظم يربط الإخفاقات بمسارات إدخال محددة. تدعم المكتبة خطافات التكوين لتكامل التبعية الخارجية وتوفر أدوات لتطهير البيانات، مما يجعلها مناسبة لفرض المعايير على طلبات واجهة برمجة التطبيقات الواردة وكائنات البيانات المعقدة.