Awesome GitHub RepositoriesRuntime Type Validation

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

Torch7 is a scientific computing environment and tensor computation library used for deep learning research and numerical analysis. It functions as a Lua-based framework for training neural networks and learning agents, providing a toolkit for implementing architectures and training through reinforcement learning algorithms. The project is distinguished by its tight integration with C, utilizing a binding layer to map high-level scripting to low-level C structures for direct memory access. It supports hardware-accelerated computation by offloading linear algebra and convolution operations to

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

Apache Beam is a distributed data pipeline framework and unified data processing model designed to handle both bounded batch data and unbounded real-time streams. It provides a system for building scalable, data-parallel workflows that operate across compute clusters using a single programming model. The framework utilizes a cross-runner pipeline abstraction that decouples the data processing logic from the underlying execution backend, allowing the same pipeline to run on different distributed compute engines. It supports multi-language pipeline development by translating high-level code fro

Expr is a high-performance expression evaluation engine and language for Go applications. It functions as a dynamic rule engine that parses and executes custom logic and data validations at runtime without requiring the application to be recompiled. The system utilizes a sandboxed logic executor to run expressions without side effects. It ensures program termination by employing instruction-level loop detection to prevent infinite loops and isolates the evaluation process from the host system. The engine employs a bytecode-based virtual machine and abstract syntax tree analysis to achieve ex

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

MobX State Tree is a structured, tree-based state management library for JavaScript applications that combines typed model definitions with reactive snapshots and patch-based change tracking. It provides a reactive state container with runtime and compile-time type safety, where application state is defined as a tree of typed models with collocated actions, computed views, and lifecycle hooks for predictable state mutations. The library is built around an action-centric mutation model that encapsulates all state changes within named functions that directly modify the tree, supported by genera

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

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

Typeshed पायथन स्टैंडर्ड लाइब्रेरी और थर्ड-पार्टी पैकेजेस के लिए स्टेटिक टाइप डेफिनिशन और स्टब्स का एक संग्रह है। यह स्टेटिक एनालाइजर्स और इंटीग्रेटेड डेवलपमेंट एनवायरनमेंट के लिए कोड की शुद्धता को मान्य करने और लाइब्रेरीज़ के मूल सोर्स कोड को संशोधित किए बिना टाइप-आधारित कोड पूर्णता प्रदान करने के लिए एक मानकीकृत संसाधन के रूप में कार्य करता है। यह प्रोजेक्ट बाहरी टाइप हिंट फ़ाइलों के निर्माण और रखरखाव पर केंद्रित है जो टाइप एनोटेशन को रनटाइम कार्यान्वयन से अलग करती हैं। यह रनटाइम पैकेजेस के विशिष्ट वर्जन्स के साथ इन स्टब्स को वर्ज़निंग और मैप करने के लिए एक सिस्टम का उपयोग करता है ताकि संगतता बनी रहे। इस रिपॉजिटरी में इन डेफिनिशन्स की सटीकता सुनिश्चित करने के लिए एक वैलिडेशन सूट शामिल है। यह घोषित और वास्तविक प्रकारों के बीच बेमेल की पहचान करने के लिए रनटाइम-टू-स्टब वैलिडेशन, डायरेक्टरी संरचना सत्यापन और ज्ञात टाइप-चेकिंग बग्स को फिर से आने से रोकने के लिए रिग्रेशन टेस्टिंग को कवर करता है।

prop-types एक JavaScript ऑब्जेक्ट वैलिडेटर और रनटाइम टाइप चेकर है। यह यह सत्यापित करने के लिए एक विकास टूल के रूप में कार्य करता है कि ऑब्जेक्ट गुण पूर्व-निर्धारित विनिर्देशों से मेल खाते हैं, जिसका उपयोग मुख्य रूप से यह सुनिश्चित करने के लिए किया जाता है कि React कंपोनेंट्स में पास किया गया डेटा अपेक्षित प्रकारों के साथ संरेखित है। उपयोगिता अपवाद फेंकने के बजाय बेमेल होने पर कंसोल में चेतावनियां लॉग करके डेटा विसंगतियों का पता लगाती है। यह डुप्लिकेट लॉग्स को रोकने के लिए एक स्टेटफुल चेतावनी कैश का उपयोग करती है और रिलीज़ किए गए बिल्ड्स में प्रदर्शन ओवरहेड से बचने के लिए सत्यापन लॉजिक को गैर-उत्पादन वातावरण तक सीमित करती है। यह प्रोजेक्ट रिकर्सिव ऑब्जेक्ट ट्रैवर्सल और विनिर्देश-आधारित मिलान के माध्यम से डेटा सत्यापन को कवर करता है। यह परीक्षण चक्रों के दौरान चेतावनी इतिहास को रीसेट करने के लिए डेवलपर टूलिंग भी प्रदान करता है।

ts-essentials, TypeScript के लिए यूटिलिटी टाइप्स और लाइब्रेरीज़ का एक व्यापक टूलकिट है, जो रिकर्सिव स्ट्रक्चरल ट्रांसफॉर्मेशन, रनटाइम एसेर्शन और टाइप गार्ड्स के लिए एडवांस्ड प्रिमिटिव्स प्रदान करता है। यह मजबूत टाइप सेफ्टी सुनिश्चित करने और बॉयलरप्लेट को कम करने के लिए जटिल टाइप-लेवल प्रोग्रामिंग करने के लिए एक यूटिलिटी लाइब्रेरी के रूप में कार्य करता है। यह प्रोजेक्ट डीप ऑब्जेक्ट मैनिपुलेशन के लिए टूल्स के एक विशेष सेट के माध्यम से खुद को अलग करता है, जैसे नेस्टेड पदानुक्रमों (hierarchies) में रिकर्सिव रूप से रीड-ओनली या वैकल्पिक मॉडिफायर्स लागू करना। यह डेटा स्ट्रक्चर्स को विशेष रूप से JSON स्पेसिफिकेशन्स के अनुरूप सुनिश्चित करने के लिए सख्त टाइप कंस्ट्रेंट्स का एक समर्पित सेट भी प्रदान करता है। यह टूलकिट मेटाडेटा एक्सट्रैक्शन के लिए टाइप एनालिसिस, यूनियन और टपल मैनिपुलेशन, और स्ट्रक्चरल आइडेंटिटी वैलिडेशन सहित क्षमताओं की एक विस्तृत श्रृंखला को कवर करती है। इसमें कंडीशनल लॉजिक में केस एग्जॉस्टिवनेस को लागू करने और निष्पादन के दौरान टाइप कंस्ट्रेंट्स को सत्यापित करने के लिए रनटाइम वेरिफिकेशन यूटिलिटीज भी शामिल हैं।

Structs is a reflection utility and type inspection framework for Go. It provides tools for inspecting, converting, and validating data structures by extracting field names, tags, and values from Go objects. The library specializes in transforming Go structs into generic maps or slices for serialization and data manipulation. It utilizes tag-driven mapping to determine custom keys and exclusion rules during these transformations. The project covers broader capabilities including metadata extraction, type validation to verify if variables are structs or pointers, and initialization verificati

Locutus is a multi-language utility library and polyfill collection written in TypeScript. It provides a comprehensive set of implementations for standard library functions from various programming languages, enabling developers to use familiar semantics and behaviors across different technical environments. The library functions as a cross-language standard library, porting core logic and utilities from diverse languages into a type-safe TypeScript toolset. It focuses on maintaining consistent behavior through a polyfill-based design that replicates the original functionality of these foreig