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 este un framework web type-safe și un orchestrator de aplicații full-stack conceput pentru PostgreSQL. Funcționează ca un framework de randare pe partea de server și un ORM type-safe care generează automat tipuri de înregistrări din scheme SQL pentru a asigura validarea interogărilor la momentul compilării. Platforma se distinge prin verificarea rutelor, a interogărilor de bază de date și a template-urilor la compilare pentru a preveni erorile la runtime. Implementează interfețe web în timp real folosind WebSockets pentru sincronizarea instantanee a datelor și utilizează hypermedia condusă de server pentru patch-uri parțiale de DOM. Framework-ul acoperă o gamă largă de capabilități integrate, inclusiv gestionarea identității utilizatorilor cu suport pentru passkey și OAuth, un strat complet de stocare a datelor cu migrări automate și un sistem cuprinzător de randare UI cu template-uri HTML type-safe. Oferă, de asemenea, instrumente încorporate pentru dezvoltarea de API-uri JSON, execuția asincronă a sarcinilor de fundal și integrare financiară pentru gateway-uri de plată. Mediile de producție sunt gestionate prin deployment declarativ NixOS pentru infrastructură reproductibilă.

Acesta este un SDK Backend-as-a-Service pentru React Native, oferind o bibliotecă pentru a integra aplicațiile mobile cu servicii backend. Servește drept client pentru gestionarea autentificării utilizatorilor, bazelor de date în cloud și stocării fișierelor la distanță într-un mediu mobil. SDK-ul permite dezvoltatorilor de aplicații mobile să implementeze fluxuri de login securizate folosind OAuth, email și verificare prin telefon. Include un client de bază de date pentru efectuarea operațiunilor CRUD pe date structurate și un client de stocare pentru încărcarea și regăsirea resurselor binare din bucket-uri cloud la distanță. În plus, dispune de o interfață bazată pe WebSocket pentru a primi actualizări instantanee server-side privind schimbările din baza de date și stocare. Proiectul acoperă arii largi de capabilități, inclusiv gestionarea identității și a accesului, stocarea documentelor structurate și sincronizarea datelor în timp real. Oferă, de asemenea, utilitare pentru gestionarea apartenenței la echipe și a preferințelor partajate.

swagger-typescript-api este un utilitar care parsează definițiile OpenAPI pentru a genera modele de date puternic tipizate și wrapper-e de servicii pentru aplicații web. Acesta transformă specificațiile OpenAPI în clienți API TypeScript siguri din punct de vedere al tipurilor, eliminând nevoia de boilerplate manual pentru cereri și răspunsuri. Generatorul produce o logică de client interschimbabilă prin adaptoare de transport pluggable, permițând utilizatorilor să comute între Fetch și Axios pentru cererile de rețea. Utilizează emisia de sursă bazată pe șabloane pentru a injecta tipurile și metodele generate într-o structură de client consistentă. Proiectul gestionează maparea tipurilor de date OpenAPI și a schemelor JSON în interfețe TypeScript și alias-uri de tip. Oferă inferență statică de tip pentru a asigura siguranța la momentul compilării pentru payload-urile de cerere și răspuns în stratul de rețea.