Awesome GitHub RepositoriesRuntime Data Validation

Taxonomy is a full-stack application template and reference implementation built with the Next.js app router. It serves as a comprehensive starter for developing web applications using server components and modern React patterns. The project integrates a variety of specialized systems, including an identity management workflow for OAuth and session handling, and a billing system for managing recurring subscriptions and payment events. It also features a content pipeline that transforms Markdown and JSX files into type-safe data collections for rendering blogs and documentation. The architect

fp-ts is a TypeScript library that brings pure functional programming patterns to the language through algebraic data types, type class abstractions, and composable combinators. It provides foundational data types like Option for optional values, Either for typed error handling, and Task for lazy asynchronous computations, all designed to make invalid states unrepresentable and side effects explicit. The library is built on category theory concepts, offering type classes such as Functor, Applicative, Monad, Semigroup, and Monoid with lawful instances for common data structures. The library di

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

This PHP assertion library is a runtime data validator used to verify method inputs and outputs. It provides a toolkit for validating data types, numeric ranges, and string patterns during program execution to prevent invalid states. The project serves as a static analysis helper by providing type hints and annotations that improve the accuracy of formal verification tools. It includes a collection validation utility for applying rules across arrays or iterable collections, and a filesystem validation tool to verify path existence and read or write permissions. The library covers a broad ran

io-ts is a TypeScript runtime validation library that provides a composable codec system for decoding and encoding data at the boundaries of an application. It defines data schemas using structural types, where the shape of data determines its validity rather than nominal names, and produces runtime type guards from those definitions for efficient validation checks. The library is built around bidirectional codec mappings that combine decoding, encoding, and type checking into single reusable units. It supports a composable decoder pipeline where small validation steps can be chained together

TypeBox is a JSON schema generator and TypeScript data validator. It functions as a type builder that creates compliant JSON schema definitions while providing a mechanism for synchronizing runtime validation logic with compile-time types. The project allows for the automatic derivation of static TypeScript interfaces from schema definitions to eliminate redundant type declarations. It converts complex type constructs into schema fragments and resolves static types to maintain consistency between data shapes and code. The system covers runtime type checking and data validation through the us

Bosque es un lenguaje de programación experimental y plataforma de desarrollo diseñada para la construcción de software asistida por máquina. Combina la semántica de programación funcional con sintaxis imperativa para imponer la corrección lógica y la seguridad en tiempo de ejecución, proporcionando un entorno con seguridad de tipos que utiliza modelos de datos estructurados para mantener la integridad de la información a lo largo del ciclo de vida de la aplicación. La plataforma se distingue por una integración profunda con herramientas de verificación formal, incluyendo demostradores de teoremas automatizados y motores de ejecución simbólica. Al transformar el código fuente en una representación intermedia regularizada, el sistema permite el razonamiento automatizado para probar la ausencia de errores en tiempo de ejecución y violaciones lógicas. Además, el tiempo de ejecución está diseñado para un rendimiento predecible, utilizando un intérprete especializado que elimina las pausas de recolección de basura para asegurar una latencia de ejecución consistente. El proyecto proporciona un conjunto integral de herramientas para el desarrollo de alta confiabilidad, cubriendo la gestión de paquetes de proyectos, seguimiento de dependencias y verificación automatizada de propiedades de código. También soporta el diseño de interfaces agnósticas al lenguaje, permitiendo a los desarrolladores definir estructuras de datos compartidas y contratos de servicio que aseguran una validación consistente en diversos componentes de software.

This platform is a social network application designed for managing community book exchanges and personal digital libraries. It provides a structured environment for users to organize book collections, coordinate the borrowing and returning of items, and manage approval workflows for shared resources. The system is built as a RESTful backend that integrates user account management with secure, token-based authentication. It utilizes email-driven identity verification to secure access and maintains persistent state through a relational database, ensuring that user profiles and library assets r