Awesome GitHub RepositoriesType Constraint Combinations

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

CUE is a constraint-based configuration language designed for data validation, schema definition, and code generation. At its core, it unifies types and values into a single concept, enabling compile-time validation that catches structural and value errors before runtime. The language treats data and constraints as the same thing, allowing a single definition to serve as both a schema and concrete configuration data. CUE distinguishes itself through its constraint-based unification engine, which combines multiple configuration sources into a single coherent result by merging their constraints

TypeSpec is a language for defining cloud API shapes and generating OpenAPI, JSON Schema, and client/server code from a single source of truth. It functions as a protocol-agnostic API designer that models REST, gRPC, and other API protocols using a unified, extensible syntax, with a decorator-based metadata system for attaching metadata, validation rules, and lifecycle visibility to API models and operations. The compiler produces OpenAPI 3.0 specifications and other artifacts, and the tool supports declaring API versions and tracking changes to models, properties, and operations across releas

Cats هو مكتبة برمجة وظيفية في Scala ومكتبة فئات الأنواع (Type Class) مصممة لتنفيذ الأنماط الجبرية والتجريدات الوظيفية. توفر مجموعة موحدة من الواجهات ومجموعة أدوات معيارية من الأغلفة والحاويات الوظيفية لتمكين تعدد الأشكال المخصص والبرمجة العامة عبر أنواع متباينة. يعمل المشروع كمعيار للتجريد الوظيفي، ويقدم مجموعة محولات الموناد (Monad Transformer) لتركيب سياقات التأثير المتداخلة والتعامل مع تأثيرات جانبية حسابية متعددة داخل خط أنابيب واحد. كما يتيح بناء لغات خاصة بالمجال (DSL) مضمنة من خلال تمثيل منطق البرنامج كهياكل بيانات يتم تفسيرها بشكل منفصل عن تعريفاتها. تغطي المكتبة مجالات قدرة واسعة بما في ذلك معالجة البيانات الجبرية لدمج وتقليل القيم، وإدارة الحالة الآمنة للأنواع، ومعالجة الأخطاء الوظيفية لإضفاء الطابع الرسمي على تراكم الأخطاء والتعافي منها. كما توفر أدوات لإدارة الحسابات ذات التأثير وتوسيع أنواع المجموعات القياسية بقدرات وظيفية. تتضمن المكتبة آليات للتحقق من القوانين الجبرية لضمان التزام مثيلات فئات الأنواع بالخصائص الرياضية.