3 dépôts
Replaces validation call sites with hand-written, type-specialized checks during compilation, leaving no general-purpose validator at runtime.
Distinct from Runtime Validator Compilation: Distinct from Runtime Validator Compilation: performs validation code generation at compile time, not runtime JIT compilation.
Explore 3 awesome GitHub repositories matching programming languages & runtimes · Compile-Time Zero-Overhead Validators. Refine with filters or upvote what's useful.
Typia is a compile-time code generator that transforms TypeScript type annotations into runtime validation, serialization, and schema functions without requiring decorators or separate schema files. It generates optimized validation and serialization code during TypeScript compilation, producing dedicated functions for each type that eliminate runtime schema objects for faster execution. The project extends this core capability into several integrated areas. It generates fully typed client SDKs from NestJS controller source code, keeping server and client types synchronized automatically. It
Replaces validation call sites with hand-written, type-specialized checks during compilation, leaving no general-purpose validator at runtime.
This library is a header-only C++ framework that performs regular expression evaluation and static string analysis during the compilation phase. By leveraging template metaprogramming and constant expression evaluation, it transforms pattern matching logic into static state machines, effectively shifting the cost of parsing and validation from runtime to build time. The project distinguishes itself by encoding text data directly into the type system, allowing for the validation and extraction of string content before a program ever executes. This approach ensures that regular expression patte
Evaluates regular expressions during the compilation phase to ensure patterns are correct and extract data without runtime overhead.
This library is a collection of zero-overhead C++ abstractions designed to replace primitive types with strict wrappers. By leveraging template metaprogramming, it enforces compile-time type safety and validates data integrity, ensuring that logic errors are caught during the build process rather than at runtime. The project distinguishes itself by providing a zero-cost abstraction layer that maps high-level type safety wrappers directly to machine instructions. It utilizes static type identity enforcement to treat logically distinct data as incompatible types, even when they share the same u
Enforces domain-specific constraints and prevents invalid data states without impacting runtime performance.