31 रिपॉजिटरी
Assigning and normalizing names for types within a binary module to assist in debugging.
Distinct from Type Parameter Naming: Distinct from schema type assignment or generic parameter naming; targets the internal naming of module types.
Explore 31 awesome GitHub repositories matching programming languages & runtimes · Type Name Assignment. Refine with filters or upvote what's useful.
This project is a collection of programming language references and syntax cheat sheets designed for rapid developer onboarding. It serves as a library of code-based documentation that uses valid source code files to provide whirlwind tours of various language specifications. The project focuses on programming language learning by providing concise, commented code examples that explain core features and syntax in place. This approach enables developers to quickly grasp language-specific patterns, data types, and execution flow through a consistent reference format. The content covers a broad
Provides concise examples of how to declare custom data types across various programming languages.
Binaryen is a WebAssembly compiler toolchain and optimizer designed to transform, validate, and shrink binary modules. It provides a comprehensive intermediate representation framework that converts binary code into a single-assignment form to enable advanced program analysis and code transformation. The project includes a specialized transformation engine that applies iterative optimization passes to increase execution speed and reduce binary size. Additionally, it functions as a transpiler that translates WebAssembly binary modules into executable JavaScript for environments that lack nativ
Assigns unique names to every type in a module and removes redundant suffixes to simplify debugging.
Glide is a Go dependency management tool that fetches, pins, and vendors external packages to enable reproducible builds across environments. It stores project-specific copies of Go packages in a vendor directory, isolating dependencies per project to avoid version conflicts, and supports fetching packages from Git, Mercurial, Bazaar, and Subversion repositories. The tool resolves dependency versions using semantic versioning ranges and operators, and generates a lock file that records exact commit IDs for all transitive dependencies. Glide distinguishes itself with an interactive version wiz
Returns the package name from the glide.yaml file for use in scripting and automation.
oapi-codegen is an OpenAPI specification compiler and code generator for Go. It transforms OpenAPI definitions into type-safe Go client libraries, server boilerplate, and data models to facilitate contract-first API development. The tool distinguishes itself through a flexible customization system that allows users to override generated types and imports via specification extensions. It supports the use of custom text templates to redefine the final source code structure and provides a specification overlay mechanism to modify or remove endpoints without altering the original source file. Th
Transforms operation IDs and schema names into standardized Go naming formats.
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
Resolves state tree nodes by their declared identifier, enabling cross-tree lookups and references.
Define custom data types as unique or structural, including recursive types with type parameters and record types with named fields.
CUE is a constraint-based configuration language designed for data validation, schema definition, and code generation. At its core, it unifies types and values into a single concept, enabling compile-time validation that catches structural and value errors before runtime. The language treats data and constraints as the same thing, allowing a single definition to serve as both a schema and concrete configuration data. CUE distinguishes itself through its constraint-based unification engine, which combines multiple configuration sources into a single coherent result by merging their constraints
Finds locations of specific types and values within datasets.
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
Returns the human-readable name used for a type in error messages and component keys.
TypeSpec is a language for defining cloud API shapes and generating OpenAPI, JSON Schema, and client/server code from a single source of truth. It functions as a protocol-agnostic API designer that models REST, gRPC, and other API protocols using a unified, extensible syntax, with a decorator-based metadata system for attaching metadata, validation rules, and lifecycle visibility to API models and operations. The compiler produces OpenAPI 3.0 specifications and other artifacts, and the tool supports declaring API versions and tracking changes to models, properties, and operations across releas
Defines reusable types and operations with type parameters, constraints, defaults, and named arguments for flexible composition.
Roc is a statically typed, functional programming language built around immutable-by-default semantics, exhaustive pattern matching on tag unions, and a type system that combines optional explicit annotations with full compile-time type inference. Its core identity centers on correctness and expressiveness, using tagged unions for error handling with a question-mark operator for early error propagation, and a trailing-bang naming convention that makes side-effect boundaries syntactically visible at every call site. The language distinguishes itself through a platform-based I/O abstraction tha
Supports parameterized types like List and Try for generic data structures.
TelegramSwift is a native macOS client for the Telegram messaging platform, built entirely in Swift. It provides a complete implementation of the Telegram protocol, enabling users to send text messages, make voice calls, share media files, and participate in group chats and channels directly from their Mac. The application supports core messaging features including end-to-end encryption, emoji reactions, message pinning, and threaded comments, along with content types like stickers, GIFs, polls, and stories. The client extends beyond basic messaging with capabilities for bot interaction, paym
Ranks peers by relevance in categories like frequently messaged users or visited channels.
seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b
Defines structs, enums, or arrays for procedure arguments and ports using C header files.
Swashbuckle.AspNetCore ASP.NET Core के लिए एक API विनिर्देश टूल और दस्तावेज़ीकरण जनरेटर है। यह मानकीकृत OpenAPI विनिर्देशों और वेब APIs की खोज और परीक्षण के लिए इंटरैक्टिव ब्राउज़र इंटरफ़ेस का उत्पादन करने के लिए सोर्स कोड और मॉडल्स से मेटाडेटा निकालता है। यह प्रोजेक्ट इन विनिर्देशों की सेवा के लिए एक मिडलवेयर घटक और सीधे चल रहे एप्लिकेशन से इंटरैक्टिव API परीक्षण के लिए एक Swagger UI को एकीकृत करता है। यह CI/CD पाइपलाइन्स में उपयोग के लिए एप्लिकेशन असेंबली से विनिर्देश फ़ाइलों को निकालने के लिए एक कमांड-लाइन एक्सपोर्टर भी प्रदान करता है। यह टूल जटिल टाइप्स के लिए स्कीमा प्रबंधन, एट्रिब्यूट्स और XML टिप्पणियों के माध्यम से मेटाडेटा एनोटेशन, और OAuth 2.0 और API कीज़ के लिए सुरक्षा कॉन्फ़िगरेशन सहित क्षमताओं की एक विस्तृत श्रृंखला को कवर करता है। यह API अनुबंध प्रबंधन, विनिर्देश वर्ज़निंग और ऑपरेशन्स को फ़िल्टर या संशोधित करने के लिए कस्टमाइज़ेबल जनरेशन पाइपलाइन्स का भी समर्थन करता है।
Resolves naming conflicts for complex types by applying custom strategies to generate unique IDs.
TileLang is a Python-embedded domain-specific language compiler that JIT-compiles and autotunes GPU kernels. It uses a tile-based DSL, automatic software pipelining, and parallel autotuning to generate optimized GPU kernels at runtime. It supports tensor core operations with Pythonic syntax, automatic memory management, and thread mapping. The compiler searches over tile sizes, thread counts, and scheduling policies, compiling and benchmarking candidates in parallel to find the fastest kernel. It also caches compiled binaries and tuning results to disk for reuse across sessions. TileLang inc
Defines parameterized numeric types with configurable precision and FP4 detection for GPU kernels.
यह प्रोजेक्ट Go प्रोग्रामिंग भाषा के लिए एक व्यापक गाइड का चीनी अनुवाद है। यह एक स्थानीयकृत शैक्षिक संसाधन और तकनीकी मैनुअल के रूप में कार्य करता है जिसे भाषा के सिंटैक्स, डिज़ाइन और सॉफ़्टवेयर विकास पर मार्गदर्शन प्रदान करने के लिए डिज़ाइन किया गया है। यह संसाधन Go भाषा की शिक्षा के एक व्यापक दायरे को कवर करता है, जिसमें प्रोग्रामिंग पैटर्न और सिस्टम डिज़ाइन का कार्यान्वयन शामिल है। इसमें अनुवादित पाठ और उदाहरण शामिल हैं जो कोर भाषा सुविधाओं जैसे कि कॉनकरेंसी और इंटरफ़ेस के उपयोग पर केंद्रित हैं। सामग्री भाषा के मूल सिद्धांतों, डेटा मॉडलिंग, रनटाइम रिफ्लेक्शन और मेमोरी मैनेजमेंट सहित विभिन्न क्षमता क्षेत्रों में फैली हुई है। यह सॉफ़्टवेयर आर्किटेक्चर, एरर हैंडलिंग, क्वालिटी एश्योरेंस और वेब नेटवर्किंग का विस्तृत कवरेज भी प्रदान करता है। दस्तावेज़ीकरण को एक तकनीकी मैनुअल के रूप में संरचित किया गया है जिसमें सटीक शिक्षण सुनिश्चित करने के लिए अनुवादित सामग्री, एराटा और सुधार शामिल हैं।
Explains how to define custom named types and structured types to improve code readability and type safety.
protobuf-net एक बाइनरी सीरियलाइज़ेशन फ्रेमवर्क और .NET लाइब्रेरी है जो Protocol Buffers विनिर्देश को लागू करती है। यह एक स्कीमा-आधारित सीरियलाइज़ेशन टूल और कॉन्ट्रैक्ट-फ़र्स्ट डेटा मैपर के रूप में कार्य करता है, जो जटिल ऑब्जेक्ट ग्राफ़ को स्टोरेज और नेटवर्क ट्रांसमिशन के लिए एक कॉम्पैक्ट बाइनरी प्रारूप में परिवर्तित करता है। लाइब्रेरी पेलोड साइज़ और प्रोसेसिंग समय को कम करके क्रॉस-प्लेटफ़ॉर्म डेटा एक्सचेंज और उच्च-प्रदर्शन नेटवर्किंग को सक्षम बनाती है। यह विशेष रूप से ऑब्जेक्ट पदानुक्रम पर्सिस्टेंस का समर्थन करती है, जो इनहेरिटेंस और व्युत्पन्न प्रकारों को शामिल करने वाली जटिल क्लास संरचनाओं के सीरियलाइज़ेशन और पुनर्निर्माण की अनुमति देती है। यह प्रोजेक्ट बाइनरी डेटा सीरियलाइज़ेशन और डीसीरियलाइज़ेशन, स्कीमा-संचालित क्लास जनरेशन और अद्वितीय पहचानकर्ताओं के माध्यम से टाइप इनहेरिटेंस के प्रबंधन सहित मुख्य क्षमताओं को कवर करता है। यह स्टेटिक एट्रिब्यूट्स या डायनामिक रनटाइम कॉन्फ़िगरेशन के माध्यम से डेटा संरचनाओं को मैप करने के लिए तंत्र प्रदान करता है।
Uses unique integer tags to track and reconstruct complex object hierarchies and derived types.
Pyrogram, Telegram MTProto API के साथ इंटरैक्ट करने के लिए एक एसिंक्रोनस Python फ्रेमवर्क है। यह एक बॉट फ्रेमवर्क और यूज़र क्लाइंट लाइब्रेरी दोनों के रूप में कार्य करता है, जो Telegram सर्वर्स के साथ सुरक्षित संचार के लिए MTProto प्रोटोकॉल का एक ठोस कार्यान्वयन प्रदान करता है। यह लाइब्रेरी जटिल प्रोटोकॉल मेथड्स को Python फंक्शन्स में एब्स्ट्रैक्ट करने वाली एक हाई-लेवल रैपर लेयर प्रदान करके खुद को अलग करती है, जबकि अभी भी रॉ API फंक्शन्स और लो-लेवल पीयर रिज़ॉल्यूशन के निष्पादन की अनुमति देती है। यह मल्टी-क्लाइंट कॉनकरेंसी का समर्थन करती है, जो एक ही प्रोसेस के भीतर कई यूज़र या बॉट पहचानों के प्रबंधन को सक्षम बनाती है। इसकी क्षमताएं दो-चरणीय प्रमाणीकरण और पंजीकरण सहित व्यापक खाता और सेशन प्रबंधन को कवर करती हैं। यह समूहों और चैनलों में चैट प्रबंधन, इनलाइन प्रश्नों और कमांड्स के लिए स्वचालित बॉट लॉजिक, और चंक-आधारित स्ट्रीमिंग के माध्यम से टेक्स्ट, पोल, और बड़ी मीडिया फ़ाइलों को संभालने के लिए मैसेजिंग फंक्शन्स की एक विस्तृत श्रृंखला प्रदान करती है। फ्रेमवर्क में संपर्क प्रबंधन, ग्लोबल और लोकल सर्च इंडेक्सिंग, और फ़िल्टर-आधारित डिस्पैचिंग के माध्यम से इवेंट-ड्रिवन ऑटोमेशन के लिए यूटिलिटीज भी शामिल हैं।
Converts a user ID, username, or phone number into a peer object for API requests.
Fury एक मल्टी-लैंग्वेज बाइनरी सीरियलाइज़ेशन फ्रेमवर्क है जिसे क्रॉस-लैंग्वेज डेटा एक्सचेंज की सुविधा के लिए डोमेन ऑब्जेक्ट्स और जटिल ग्राफ़ को एनकोड करने के लिए डिज़ाइन किया गया है। इसमें एक इंटरफ़ेस परिभाषा भाषा कंपाइलर शामिल है जो स्कीमा परिभाषाओं को मुहावरेदार नेटिव टाइप्स और कई भाषाओं में सीरियलाइज़ेशन बॉयलरप्लेट में अनुवादित करता है। यह प्रोजेक्ट एक ज़ीरो-कॉपी बाइनरी रीडर के माध्यम से खुद को अलग करता है जो पूरे ऑब्जेक्ट को डीसीरियलाइज़ किए बिना विशिष्ट फ़ील्ड्स तक पहुंचने की अनुमति देता है, साथ ही एक ऑब्जेक्ट ग्राफ़ सीरियलाइज़र जो सर्कुलर रेफरेंस और रेफरेंशियल इंटीग्रिटी को संरक्षित करता है। इसमें एक डेटा कनवर्टर भी है जो विश्लेषणात्मक वर्कलोड के लिए पंक्ति-आधारित बाइनरी डेटा को कॉलम-आधारित Apache Arrow फॉर्मेट में बदलता है। यह फ्रेमवर्क व्यापक क्षमता क्षेत्रों को कवर करता है, जिसमें फॉरवर्ड और बैकवर्ड संगतता के लिए मेटाडेटा-संचालित स्कीमा विकास, रनटाइम रिफ्लेक्शन को खत्म करने के लिए बिल्ड-टाइम AOT संकलन प्रक्रिया और व्हाइटलिस्ट-आधारित प्रकार सत्यापन के माध्यम से सुरक्षित डीसीरियलाइज़ेशन शामिल है। यह gRPC के माध्यम से उच्च-प्रदर्शन रिमोट प्रोसीजर कॉल के लिए एकीकरण भी प्रदान करता है।
Assigns unique identifiers to user-defined structures to enable precise identification during deserialization.
Wire is a cross-platform code generator and implementation of gRPC and Protocol Buffers. It transforms schema definitions into type-safe native language bindings for Kotlin, Swift, and Java to ensure consistent data exchange and communication between distributed systems. The project provides specialized tools for protocol buffer schema management, including the ability to prune unused types and filter fields by version to reduce final binary sizes. It also handles namespace management and allows for the creation of custom schema handlers to execute user-defined logic during the compilation ph
Uses unique type identifiers to wrap and unwrap messages, supporting flexible and dynamic data exchange.
Ergo is a distributed actor framework for Go that implements the Erlang distribution protocol, enabling the construction of resilient, concurrent applications that can communicate transparently with Erlang/OTP nodes. At its core, it provides an actor model with isolated lightweight processes, priority-ordered mailboxes, and a meta-process architecture that separates blocking I/O from sequential message handling to prevent actor freezing. The framework includes a Raft-inspired cluster consensus system for leader election and automatic failover, along with OTP-style supervision trees that organi
Generates network message type definitions for structured actor communication via CLI scaffolding.