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 est un langage de programmation expérimental et une plateforme de développement conçue pour la construction de logiciels assistée par machine. Il combine la sémantique de la programmation fonctionnelle avec une syntaxe impérative pour appliquer la correction logique et la sécurité à l'exécution, fournissant un environnement typé qui utilise des modèles de données structurés pour maintenir l'intégrité des informations tout au long du cycle de vie de l'application. La plateforme se distingue par une intégration profonde avec des outils de vérification formelle, y compris des prouveurs de théorèmes automatisés et des moteurs d'exécution symbolique. En transformant le code source en une représentation intermédiaire régularisée, le système permet un raisonnement automatisé pour prouver l'absence d'erreurs à l'exécution et de violations logiques. De plus, l'exécution est conçue pour une performance prévisible, utilisant un interpréteur spécialisé qui élimine les pauses de garbage collection pour garantir une latence d'exécution cohérente. Le projet fournit une suite complète d'outils pour le développement à haute fiabilité, couvrant la gestion des packages de projet, le suivi des dépendances et la vérification automatisée des propriétés du code. Il prend également en charge la conception d'interfaces agnostiques au langage, permettant aux développeurs de définir des structures de données partagées et des contrats de service qui garantissent une validation cohérente à travers divers composants logiciels.

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