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 este un limbaj de programare experimental și o platformă de dezvoltare concepută pentru construcția software asistată de mașină. Combină semantica programării funcționale cu sintaxa imperativă pentru a impune corectitudinea logicii și siguranța la runtime, oferind un mediu sigur din punct de vedere al tipurilor (type-safe) care utilizează modele de date structurate pentru a menține integritatea informațiilor pe tot parcursul ciclului de viață al aplicației. Platforma se distinge prin integrarea profundă cu instrumente de verificare formală, incluzând demonstratoare automate de teoreme și motoare de execuție simbolică. Prin transformarea codului sursă într-o reprezentare intermediară regularizată, sistemul permite raționamentul automat pentru a demonstra absența erorilor de runtime și a încălcărilor logice. Mai mult, runtime-ul este proiectat pentru performanță predictibilă, utilizând un interpretor specializat care elimină pauzele de garbage collection pentru a asigura o latență de execuție consistentă. Proiectul oferă o suită completă de instrumente pentru dezvoltarea de înaltă fiabilitate, acoperind gestionarea pachetelor de proiect, urmărirea dependențelor și verificarea automatizată a proprietăților codului. De asemenea, suportă designul de interfețe agnostice față de limbaj, permițând dezvoltatorilor să definească structuri de date partajate și contracte de servicii care asigură o validare consistentă pe diverse componente 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