Awesome GitHub RepositoriesData Validation Libraries

Zod is a TypeScript-first schema declaration and validation library designed to ensure end-to-end data integrity. It functions as a runtime type guard, allowing developers to define complex data structures through a declarative, chainable syntax. By using these schema definitions, the library automatically derives static TypeScript types, eliminating the need for manual type duplication and ensuring that runtime data matches expected application contracts. The library distinguishes itself through functional schema composition, which enables the creation of hierarchical structures by nesting a

Toon is a data serialization library and toolkit designed to convert complex objects into compact, human-readable formats optimized for large language models. By focusing on token efficiency, the library minimizes the context window footprint of structured data through techniques like key folding and tabular layout optimization. It provides a streaming-capable processor that handles the encoding and decoding of hierarchical data while maintaining structural integrity. The project distinguishes itself through its path-aware transformation pipeline and configurable serialization logic, which al

Yup is a JavaScript schema validation library used to define data shapes and validate runtime values. It functions as an object schema validator and a data coercion engine, allowing developers to transform raw input values into desired types before performing validation checks. The library is distinguished by its support for dynamic schema validation, where rules can be adjusted at runtime based on sibling field values or external context. It also enables recursive data structuring for polymorphic fields and provides a system for extracting static TypeScript interfaces from runtime schema def

Joi is a JavaScript data validation library used to define schemas that validate, cast, and sanitize data objects. It functions as an object schema validator and parser, ensuring that input data matches specific types and formats before it is processed by an application. The library features a conditional validation engine capable of dynamic schema enforcement, where validation logic and dependencies change based on the values of other keys within an object. It also serves as a data casting and sanitization tool, transforming input values into target types and removing sensitive keys from the

Joi is a JavaScript data validation library used to define schemas that ensure the structure and data types of objects remain consistent. It functions as a schema-based validator and object schema definition tool, preventing invalid information from entering an application by checking data against predefined constraints and rules. The library employs a chainable fluent interface and a constraint-based validation engine to build complex validation pipelines. It utilizes recursive tree traversal to validate nested data structures and a type-coercion pipeline to transform input values into the t

Elysia is a high-performance TypeScript web framework designed for building type-safe backend services. It provides a modular, plugin-based architecture that allows developers to compose server logic, middleware, and validation schemas into scalable application instances. By leveraging native web standards, the framework ensures portability across diverse JavaScript runtimes, including Node.js, Deno, and various edge computing environments. The framework distinguishes itself through its focus on end-to-end type safety, automatically synchronizing request and response definitions between the s

Ajv is a high-performance data validation framework that compiles JSON schemas into optimized, standalone JavaScript functions. By transforming declarative schema definitions into executable code, it eliminates runtime interpretation overhead and provides a secure, efficient way to enforce data integrity across both browser and server environments. The library distinguishes itself through its focus on performance and type safety. It employs advanced compilation techniques, including abstract syntax tree optimization and function caching, to ensure rapid validation. Beyond standard checks, it

Lightweight Charts is a specialized library for rendering interactive time-series financial data visualizations within web applications. It provides a high-performance, responsive component designed to display historical and live market trends through various graphical formats, including candlesticks, histograms, and line series. The library distinguishes itself through a canvas-based rendering engine that decouples visual representation from raw data, enabling efficient updates and real-time monitoring of large datasets. It includes built-in support for accessibility, ensuring that interacti

Great Expectations is a data quality testing framework and observability platform designed to monitor the reliability of data pipelines. It provides a structured environment for defining, documenting, and automating data quality assertions, allowing teams to validate datasets against expected structure and content before they move through downstream processes. The project distinguishes itself through a declarative domain-specific language that stores quality rules as version-controlled configuration files. It utilizes an execution engine abstraction to translate these high-level assertions in

This project is a framework for the efficient serialization and deserialization of data structures. It provides a unified, macro-based interface that automates the conversion of complex internal objects into standardized formats and reconstructs them from raw input streams or buffers. By leveraging compile-time code generation, the library minimizes manual implementation overhead while ensuring consistent logic across diverse data types. The framework distinguishes itself through a format-agnostic data model and a visitor-based parsing architecture that decouples data structures from specific

ArduinoJson is a C++ library for parsing and manipulating JSON data and MessagePack binary streams on microcontrollers with limited memory and processing power. It provides the core primitives necessary for embedded data serialization and parsing, enabling devices to exchange structured data over serial or network interfaces. The library is distinguished by its focus on microcontroller memory management, employing strategies such as pool-based allocation, string deduplication, and non-owning string views to minimize RAM usage. It further optimizes for constrained environments by allowing cons

Superstruct is a JavaScript and TypeScript data validation library used to verify that data structures match defined shapes and types. It functions as a composable schema builder and a TypeScript schema validator, ensuring that runtime data checks remain synchronized with static type definitions. The library features a data coercion engine that transforms input values or injects default values before the validation process is executed. It enables the creation of complex validation rules by nesting, merging, or omitting properties from existing structures. Its capabilities cover the validatio

Ecto is an Elixir database toolkit that maps database rows to Elixir structs and validates data changes through changesets before persistence. It provides a language-integrated query syntax for composing database queries, building them incrementally and securely with compile-time expansion into safe SQL. The toolkit connects to multiple database backends including PostgreSQL, MySQL, MSSQL, SQLite3, ClickHouse, and ETS through a pluggable adapter interface. It supports eager and lazy preloading of associated records to eliminate N+1 query problems, and can store nested data structures as embed

Typia is a compile-time code generator that transforms TypeScript type annotations into runtime validation, serialization, and schema functions without requiring decorators or separate schema files. It generates optimized validation and serialization code during TypeScript compilation, producing dedicated functions for each type that eliminate runtime schema objects for faster execution. The project extends this core capability into several integrated areas. It generates fully typed client SDKs from NestJS controller source code, keeping server and client types synchronized automatically. It

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

Pandera is a data pipeline validation framework and statistical type validation tool. It functions as a library for defining and enforcing schemas on datasets to ensure data quality and consistency, specifically providing validation capabilities for Pandas dataframes. The project includes a schema inference tool that automates setup by analyzing existing dataset samples to generate validation schemas. It also serves as a synthetic data generator, creating artificial datasets based on predefined schemas to verify data-producing functions. The framework covers data engineering quality assuranc

v8n هي مكتبة للتحقق من صحة البيانات بلغة JavaScript تُستخدم للتحقق من أن القيم والكائنات والمصفوفات تلبي معايير محددة. تعمل كمحقق قائم على المخطط ومحرك تحقق غير متزامن، مستخدمة API طليقاً لبناء تسلسلات من القواعد والقيود القابلة للسلسلة. يتميز إطار العمل بقدرته على تنفيذ الوعود (promises) وطلبات الشبكة أثناء عملية التحقق لتحديد ما إذا كانت القيمة صالحة. يسمح بإنشاء مخططات تحقق قابلة لإعادة الاستخدام ويوفر إطار عمل قواعد قابلاً للتخصيص حيث يمكن للمستخدمين تحديد منطقهم الخاص وتكوين كيفية إرجاع نتائج الخطأ. تغطي المكتبة مجموعة واسعة من قدرات التحقق، بما في ذلك التحقق من نوع البيانات للبدائيات والنماذج الأولية، والتحقق من محتوى النص عبر regex ومجموعات الأحرف، والقيود الرقمية. كما تدعم التحقق من الكائنات المعقدة، والتحقق من عناصر المجموعات والمصفوفات، والمنطق الشرطي لعكس القواعد أو التعامل مع القيم الاختيارية. صُمم النظام لجمع الأخطاء بالتفصيل، حيث يقيم القيم مقابل كل قاعدة محددة لجمع قائمة كاملة بالإخفاقات بدلاً من التوقف عند الخطأ الأول.

هذه المكتبة عبارة عن إطار عمل PHP لفرض سلامة البيانات وقواعد العمل من خلال التحقق من القيم العددية وهياكل الكائنات المعقدة مقابل قيود محددة مسبقاً. توفر نهجاً مهيكلاً لفحص رسوم بيانية للكائنات وبيانات وصفية للخصائص، مما يضمن توافق البيانات مع المتطلبات المتوقعة قبل معالجتها بواسطة التطبيق. يتميز إطار العمل بنظام تعيين قائم على البيانات الوصفية يستخدم الانعكاس (reflection) أو ملفات التكوين لتطبيق القواعد مباشرة على خصائص الكائن. يدعم تنسيق القواعد السياقية، مما يسمح للمطورين بتنظيم القيود في مجموعات منطقية يتم تشغيلها بشكل انتقائي بناءً على حالة التطبيق أو دورة حياة البيانات. يستخدم النظام أيضاً نمط اجتياز قائم على الزائر (visitor-based) لفحص هياكل الكائنات المعقدة ويستخدم التحميل الكسول (lazy-loading) لإنشاء قواعد التحقق فقط عند الحاجة. بعيداً عن التحقق الأساسي، تتضمن المكتبة أدوات لتنسيق البيانات، والمقارنات الزمنية، وتنقية المدخلات. تتميز بمعمارية مفككة تفصل تعريفات القيود عن منطق التنفيذ، مما يتيح إنشاء قواعد قابلة لإعادة الاستخدام ومحددة النطاق. تُدار معالجة الأخطاء من خلال طبقة تجريد الترجمة، التي تعين نتائج الانتهاك إلى رسائل مترجمة للتقارير الدولية.

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