Typing
Showing 31 of 31 projects
A static type checker for Python that enforces type hints to catch bugs before runtime.
Dynamically generated, customizable SVG that simulates typing and deleting text for GitHub profiles, repos, and websites.
A collection of external type annotations (stubs) for the Python standard library and third-party packages.
A static type analyzer for Python code that performs type inference and checking using inline annotations and interface files.
A pyright fork with enhanced Python type checking, improved VS Code support, and built-in Pylance features.
An auto-generated, fully type-safe database client for Python built on Prisma, supporting async and sync usage.
A curated collection of Python type checkers, stub packages, tools, and resources for static and dynamic type checking.
A tiny JavaScript library for creating animated typing effects with smart deletion, pausing, and looping.
A macOS application that provides instant audio feedback for typing, built with Rust.
Type annotations and runtime checking for PyTorch tensor shape, dtype, layout, and names.
Mypy plugin and type stubs for SQLAlchemy to enable precise static type checking in Python.
A semi-static Python type checker that imports modules to understand dynamic constructs and enable plugin extensions.
Runtime inspection utilities for Python's typing module, enabling programmatic analysis of type hints.
A Python tool that automatically generates type annotations by monitoring runtime execution, with low overhead and tensor shape inference.
A PyCharm plugin that runs mypy type checking across your entire Python project and provides navigation between errors.
A Python tool that automatically adds simple type annotations to code using heuristics and LibCST.
A Python library for creating phantom types that enforce runtime and static type constraints through predicates.
A Python static type checker built on mypy with stricter defaults, advanced typing features, and baseline error management.
Fast, simple, and correct runtime data validation and enforcement using Python 3 type hints.
A Python tool that re-applies type annotations from .pyi stub files back into your source code.
A libGDX text-display library with typewriter effects, rich styling, and inline emoji support.
A Flake8 plugin that identifies which Python imports should be moved into or out of type-checking blocks to improve performance and prevent circular imports.
A Flake8 plugin that identifies which Python imports should be moved into or out of typing.TYPE_CHECKING blocks to optimize runtime performance and prevent circular imports.
A PowerToys Run plugin that types input text as if sent from a keyboard, useful when pasting is not possible.
Rust-like Option and Result types for Python with full typing support and slot optimization.
A CLI tool that automatically adds type annotations to Python code using static analysis and heuristics.
A customizable TUI typing trainer built with Ratatui, inspired by Monkeytype.
A Python library for parsing JSON-like values using TypedDicts and standard type hints at runtime.
A Flake8 plugin that provides specialized linting for Python type hinting stub files (.pyi).
A Python microframework providing a fully typed, monad-based Result type for error handling without exceptions.
A CLI tool that integrates mypy with existing Python projects by reporting only new type violations and ignoring existing ones.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.