159 个仓库
Type support for development workflows.
Distinguishing note: Focuses on developer experience and type safety.
Explore 159 awesome GitHub repositories matching software engineering & architecture · TypeScript Type Definitions. Refine with filters or upvote what's useful.
React 是一个用于构建用户界面的 JavaScript 库,采用组件化架构和单向数据流。
Provides explicit type arguments to memoization hooks to define return types for cached values.
Vue 是一个渐进式的、基于组件的 JavaScript 框架,旨在构建响应式用户界面和单页应用程序。它以声明式模板系统为中心,将 HTML 转换为高效的渲染函数,允许开发者将复杂的界面组织成自动与应用程序状态同步的隔离、可复用单元。 该框架通过依赖跟踪响应式系统脱颖而出,该系统在渲染期间监控数据访问以触发精确更新。它提供了一个灵活的架构,支持作为轻量级库的增量采用和全规模应用程序开发。开发者可以利用强大的基于插件的扩展模型来注入全局逻辑,同时框架的虚拟 DOM 对账确保通过计算最小突变来实现高效的界面更新。 除了核心渲染能力外,该项目还包括一套全面的工具,用于管理应用程序状态、基于 URL 的路由和服务器端渲染。它为组件组合、内容分发和动画管理提供了广泛支持,并内置了自动内容转义等安全措施以防止常见漏洞。 该框架随附官方类型声明以支持静态分析,并可通过标准包管理器安装,或通过脚本标签直接集成到浏览器环境中。
Supports explicit return type annotations for computed properties to assist compiler dependency resolution.
DefinitelyTyped is a community-maintained type store and centralized JavaScript type registry. It serves as a repository of static TypeScript type declarations for third-party JavaScript libraries, providing the necessary metadata to enable compile-time safety and editor intelligence for external modules not originally written in TypeScript. The project operates as a collaborative ecosystem where contributors define, validate, and maintain type declarations through a structured review process. This involves mapping type definition versions to specific library and compiler releases to ensure s
Provides a community-driven repository of static TypeScript type declarations for third-party JavaScript libraries.
This project is a collection of technical reference guides and cheatsheets for implementing static typing patterns with TypeScript in React. It serves as a comprehensive typing guide for applying static types to components, hooks, and state management. The resource provides specific patterns for defining component properties, reference handles, and generic types. It includes detailed signatures for handling synthetic events, form submissions, and the creation of typed custom hooks using tuple assertions. The documentation covers a broad range of capability areas, including state management v
Provides a set of patterns and signatures for defining props, event handlers, and generic types.
vue-vben-admin is a Vue 3 admin dashboard template and frontend development boilerplate designed for building enterprise administrative interfaces. It is structured as a TypeScript monorepo frontend, providing a pre-configured starting point for bootstrapping professional back-office applications. The project integrates a role-based access control system for dynamic routing and permission management. It utilizes the Shadcn UI component library and Tailwind CSS to provide a customizable, themed user interface. The framework includes support for internationalized web applications through multi
Ensures type safety across the codebase by defining strict interfaces for state management and API responses.
Python is a high-level, interpreted programming language designed for readability and versatility. It operates via a bytecode-based virtual machine and manages memory automatically through reference-counting garbage collection. The language supports multiple programming paradigms, including object-oriented, imperative, and functional styles, and provides a comprehensive standard library for system operations, networking, and data handling. The language is distinguished by its dynamic nature, allowing for runtime object introspection and metaclass-driven class creation. It utilizes protocol-ba
Uses union types to explicitly handle functions that may return a value or an empty state.
This project is an asynchronous key-value store designed for client-side data persistence. It provides a unified interface that allows applications to save and retrieve complex data types, including binary objects, while maintaining responsiveness through non-blocking operations. By enabling offline-first functionality, it ensures that data remains accessible even when a network connection is unavailable. The library distinguishes itself through a driver-based abstraction layer that automatically detects the most efficient storage mechanism available in the current browser or mobile environme
Connects type definitions to projects to ensure full type safety and autocompletion.
RxSwift is a reactive programming library for Swift that provides a framework for managing push-based data flows and composing asynchronous, event-based programs. It utilizes observable sequences and functional operators to transform and filter asynchronous sequences through a declarative approach. The library is distinguished by its ability to link asynchronous data streams directly to user interface elements, automating view updates via reactive data binding. It includes specialized tools for tracking UI control properties and events on the main thread, as well as the ability to encapsulate
Represents operations that emit one element, complete without a value, or return an error.
This project is a TypeScript desktop boilerplate and application template that combines Electron and React for building cross-platform desktop applications. It provides a structural foundation and framework for creating native system applications that bundle web technologies into distributable operating system packages. The project distinguishes itself by providing a hot-reloading desktop environment. This development setup applies code changes instantly to the user interface without requiring manual application restarts, preserving the current interface state through hot module replacement.
Incorporates strict compile-time type checking to ensure consistency and catch errors before execution.
Yup is a JavaScript schema validation library used to define data shapes and validate runtime values. It functions as an object schema validator and a data coercion engine, allowing developers to transform raw input values into desired types before performing validation checks. The library is distinguished by its support for dynamic schema validation, where rules can be adjusted at runtime based on sibling field values or external context. It also enables recursive data structuring for polymorphic fields and provides a system for extracting static TypeScript interfaces from runtime schema def
Extracts static TypeScript interfaces from runtime schema definitions to ensure end-to-end type safety.
Magic UI is a copy-paste UI framework and React animated library providing a collection of interactive, visually dynamic interface components. It serves as a design engineering toolkit that bridges high-fidelity design and production code by offering ready-made components for direct integration into web applications. The library focuses on animated UI development and the implementation of interactive components, utilizing a copy-paste distribution model. This approach allows for rapid prototyping and full local customization without the need to install heavy dependencies. The components are
Provides strict TypeScript type definitions for component properties and internal logic to ensure type safety.
Vue-pure-admin is a Vue 3 admin dashboard template and frontend boilerplate designed for developing backend management tools. It functions as a TypeScript web application scaffold that integrates Vite for the build pipeline and Element Plus for the UI framework. The project provides a responsive admin interface that adapts to both desktop and mobile screens. It is structured as an enterprise frontend architecture to support the creation of scalable professional web applications. The system includes capabilities for bootstrapping backend management systems, optimizing bundle sizes, and deploy
Employs TypeScript to provide compile-time type checking and ensure data consistency.
This project is a development framework that enables the creation of cross-platform mobile mini programs using the component-based architecture and reactive data binding of Vue.js. It functions as a build system that transforms web-oriented component code into native-compatible templates and logic, allowing developers to build modular user interfaces that run within restricted mobile environments. The framework distinguishes itself through a sophisticated build pipeline that deconstructs single-file components into platform-specific templates, logic, and style files. It employs compile-time t
Processes typed scripts within components to ensure type safety during the build pipeline.
Crystal is a statically typed, compiled programming language designed for high performance and memory safety. It leverages an LLVM-based compiler to translate source code into optimized machine-executable binaries, while its type-inference-based static analysis enforces strict safety rules during the build process. The language distinguishes itself through a fiber-based concurrent runtime that manages lightweight execution units for asynchronous input and output without blocking the main process. It also features a powerful compile-time macro system that allows for the inspection and transfor
Enforces type safety and improves documentation through explicit method return type annotations.
Apollo Client is a frontend GraphQL integration layer and client library used to fetch, manage, and cache data from a GraphQL server in web and mobile applications. It functions as a state management framework that synchronizes remote server data with local application state. The project provides a TypeScript wrapper for executing GraphQL queries and mutations, ensuring type-safe API integration with automatic validation and code completion. The library manages data fetching and synchronization between the backend and the user interface. It includes capabilities for caching GraphQL results l
Automatically derives TypeScript interfaces from GraphQL schemas for static type checking.
Vue Manage System is a type-safe administrative dashboard framework built with Vue 3 and Element Plus. It serves as a management template for backend systems, integrating role-based access control to restrict pages and actions based on assigned user permissions. The project distinguishes itself through a comprehensive set of administrative tools, including a data visualization dashboard with interactive charts and a content management system featuring rich text editing and image cropping utilities. It utilizes TypeScript for static typing and Pinia for centralized state management. The syste
Employs TypeScript for static type checking at compile time to ensure code maintainability.
sqlc is a SQL compiler and code generator that creates type-safe database client code from raw SQL queries. It transforms SQL statements into typed definitions and functions, eliminating the need for manual row mapping between database results and application structures. The tool ensures compile-time safety by validating SQL queries against the database schema before the application is run. This workflow integrates the database schema directly into the application code, deriving types from the underlying SQL definitions to prevent runtime errors. The system utilizes AST-based query analysis
Automatically derives language-specific type definitions by analyzing the database schema and query projections.
The Rust Programming Language Book is the official technical guide and educational resource for the Rust language. It provides a comprehensive walkthrough of the language's design, focusing on its core identity as a systems programming language that enforces memory safety and high-performance execution without the need for a garbage collector. The project is distinguished by its focus on ownership, borrowing, and lifetime tracking, which allow the compiler to verify memory safety and thread safety at compile time. It covers the language's unique approach to zero-cost abstractions, including t
Uses a special empty type to indicate functions that never return or expressions that terminate control flow.
PydanticAI is a Python framework designed for building production-grade autonomous agents. It provides a unified interface for interacting with diverse language models, enabling developers to construct agents that perform complex tasks through structured data validation, tool execution, and multi-turn conversation management. The library centers on type-safe schema enforcement, ensuring that model inputs and outputs remain consistent and reliable throughout the agent's lifecycle. The framework distinguishes itself through a robust architecture that emphasizes modularity and testability. It ut
Includes return type definitions in tool descriptions to improve model validation of structured data.
type-fest is a library of reusable utility types for performing complex transformations and validations on objects, arrays, strings, and numeric ranges in TypeScript. It provides a collection of type definitions designed to handle advanced structural changes and constraints. The project distinguishes itself by offering specialized logic for string literal processing, such as casing transformations and pattern-based modifications, and type-level arithmetic for calculating numeric ranges and absolute values. It also includes utilities for enforcing deep immutability, ensuring union mutual exclu
Offers a vast collection of TypeScript type definitions for complex structural transformations.