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, मशीन-असिस्टेड सॉफ़्टवेयर निर्माण के लिए डिज़ाइन की गई एक प्रयोगात्मक प्रोग्रामिंग भाषा और डेवलपमेंट प्लेटफ़ॉर्म है। यह लॉजिक शुद्धता और रनटाइम सुरक्षा को लागू करने के लिए फंक्शनल प्रोग्रामिंग सिमेंटिक्स को इम्पेरेटिव सिंटैक्स के साथ जोड़ती है, जो एक टाइप-सेफ वातावरण प्रदान करती है। यह प्लेटफ़ॉर्म औपचारिक सत्यापन टूल्स (formal verification tools) के साथ गहरे इंटीग्रेशन के माध्यम से अलग है, जिसमें ऑटोमेटेड थ्योरम प्रोवर्स और सिम्बोलिक एग्जीक्यूशन इंजन्स शामिल हैं। सोर्स कोड को एक नियमित इंटरमीडिएट रिप्रेजेंटेशन में बदलकर, सिस्टम रनटाइम एरर्स और लॉजिक उल्लंघनों की अनुपस्थिति को साबित करने के लिए ऑटोमेटेड रीजनिंग को सक्षम बनाता है। इसके अलावा, रनटाइम को अनुमानित प्रदर्शन के लिए इंजीनियर किया गया है, जो लगातार निष्पादन विलंबता सुनिश्चित करने के लिए गारबेज कलेक्शन पॉज़ को समाप्त करता है। प्रोजेक्ट उच्च-विश्वसनीयता विकास के लिए टूल्स का एक व्यापक सूट प्रदान करता है, जिसमें पैकेज मैनेजमेंट, डिपेंडेंसी ट्रैकिंग और ऑटोमेटेड कोड प्रॉपर्टी वेरिफिकेशन शामिल है।

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