Awesome GitHub RepositoriesType-Safe Schema Validations

React Hook Form is a state management library designed to handle form registration, validation, and submission lifecycle events. By decoupling form control logic from the standard component lifecycle, it enables the creation of performant forms that minimize unnecessary re-renders. The library integrates with external schema validation tools to enforce data integrity and provides a declarative framework for managing complex form structures. The project distinguishes itself through a subscription-based architecture that tracks property access to ensure components only update when the specific

TanStack Table is a headless, framework-agnostic engine designed for building complex data grids and managing tabular state. By decoupling data processing logic from the visual rendering layer, it allows developers to implement custom user interfaces while offloading sophisticated operations like sorting, filtering, grouping, and pagination to a unified, performant core. The library distinguishes itself through its commitment to type safety and environment flexibility. It leverages strict type definitions to ensure data integrity across the entire application and utilizes an adapter pattern t

Taxonomy is a SaaS boilerplate and Next.js application template designed for building subscription-based web applications. It provides a foundational architecture implemented as a TypeScript web framework, utilizing server components and app-router file routing. The project serves as a comprehensive starter for software-as-a-service products, combining user authentication workflows with recurring subscription billing. It further functions as a markdown content site, enabling the creation of blogs or documentation through markdown-to-HTML rendering. The codebase integrates several core capabi

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

Click is a Python framework for building command-line interfaces. It provides a declarative approach to defining command structures, allowing developers to map functions to command-line arguments, options, and nested groups using decorators. The framework handles the complexities of parameter parsing, type validation, and help documentation generation automatically. The project distinguishes itself through its hierarchical context system, which propagates configuration and state across nested commands, and its environment-aware parameter resolution that prioritizes command-line inputs, enviro

Clap is a command-line argument parser for Rust that enables developers to define complex interfaces through strongly-typed data structures. It functions as a comprehensive framework for building terminal applications, automating the transformation of raw string inputs into validated, type-safe code representations while simultaneously generating help documentation and usage statements. The library distinguishes itself by offering both a declarative, attribute-based approach and a fluent builder-pattern API, allowing for flexible interface construction. It includes a sophisticated validation

Quarkus is a Kubernetes-native Java framework designed for building high-performance, memory-efficient applications. It utilizes ahead-of-time native compilation to transform Java code into standalone, optimized binaries that eliminate the need for a virtual machine, enabling rapid startup and reduced memory consumption. By performing code augmentation during the build phase, it shifts heavy processing tasks away from runtime, ensuring that applications are optimized for cloud-native environments. The framework distinguishes itself through a unified approach to reactive and imperative program

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

TanStack Router is a type-safe routing library for web applications that provides full type safety for paths, search parameters, and data loaders across the entire application stack. It functions as a comprehensive framework for server-side rendering, enabling the generation of complete HTML pages to improve initial load performance and search engine optimization. By integrating declarative data fetching, the library manages asynchronous information at the route level, supporting preloading, caching, and parallel request execution to ensure data is ready before components render. The project

Valibot is a modular, type-safe schema library for validating and parsing structural data in TypeScript environments.

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

ihp est un framework web typé et un orchestrateur d'applications full-stack conçu pour PostgreSQL. Il fonctionne comme un framework de rendu côté serveur et un ORM typé qui génère automatiquement des types d'enregistrements à partir de schémas SQL pour garantir la validation des requêtes à la compilation. La plateforme se distingue en vérifiant le routage, les requêtes de base de données et les modèles (templates) au moment de la compilation pour éviter les plantages à l'exécution. Elle implémente des interfaces web en temps réel utilisant les WebSockets pour une synchronisation instantanée des données et emploie l'hypermédia piloté par le serveur pour la mise à jour partielle du DOM. Le framework couvre un large éventail de capacités intégrées, incluant la gestion de l'identité utilisateur avec support des passkeys et OAuth, une couche de stockage de données complète avec migrations automatisées, et un système de rendu d'interface utilisateur complet avec templating HTML typé. Il fournit également des outils intégrés pour le développement d'API JSON, l'exécution de tâches asynchrones en arrière-plan et l'intégration financière pour les passerelles de paiement. Les environnements de production sont gérés via un déploiement NixOS déclaratif pour une infrastructure reproductible.

Ceci est un SDK Backend-as-a-Service pour React Native, fournissant une bibliothèque pour intégrer les applications mobiles avec des services backend. Il sert de client pour gérer l'authentification des utilisateurs, les bases de données cloud et le stockage de fichiers distant au sein d'un environnement mobile. Le SDK permet aux développeurs mobiles d'implémenter des flux de connexion sécurisés en utilisant OAuth, l'e-mail et la vérification par téléphone. Il inclut un client de base de données pour effectuer des opérations CRUD sur des données structurées et un client de stockage pour télécharger et récupérer des assets binaires depuis des buckets cloud distants. De plus, il dispose d'une interface basée sur WebSocket pour recevoir des mises à jour instantanées côté serveur sur les changements de base de données et de stockage. Le projet couvre de larges domaines de capacités, incluant la gestion des identités et des accès, le stockage de documents structurés et la synchronisation de données en temps réel. Il fournit également des utilitaires pour gérer les adhésions aux équipes et les préférences partagées.

swagger-typescript-api est un utilitaire qui analyse les définitions OpenAPI pour générer des modèles de données fortement typés et des wrappers de service pour les applications web. Il transforme les spécifications OpenAPI en clients API TypeScript typés, supprimant le besoin de code répétitif (boilerplate) manuel pour les requêtes et réponses. Le générateur produit une logique client interchangeable via des adaptateurs de transport enfichables, permettant aux utilisateurs de basculer entre Fetch et Axios pour les requêtes réseau. Il utilise une émission de source basée sur des modèles pour injecter les types et méthodes générés dans une structure client cohérente. Le projet gère le mappage des types de données OpenAPI et des schémas JSON en interfaces TypeScript et alias de type. Il fournit une inférence de type statique pour garantir la sécurité à la compilation pour les charges utiles de requête et de réponse à travers la couche réseau.