typedpy
Type checker
A comprehensive type system for Python that provides strict type checking and conversion between Python data structures and JSON-like formats.
Type-safe, strict Python. Works well with standard Python
16 stars
0 watching
4 forks
Language: Python
last commit: 4 months ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
 quora/pyanalyze | A tool to analyze Python code for type errors and other issues | 350 |
 kotlinisland/basedmypy | A Python static type checker with additional features to improve typing and error reporting. | 148 |
 siddhuwarrier/python-typeutils | A utility library that provides a type checking decorator for Python functions. | 1 |
 contains-io/typet | A Python library that simplifies type checking and validation in object-oriented coding | 22 |
 dropbox/mypy-pycharm-plugin | A plugin that allows running type-checking tools from within PyCharm. | 314 |
 stewori/pytypes | Provides runtime typechecking and annotation tools for Python to enforce strict type compatibility | 201 |
 typeddjango/pytest-mypy-plugins | A plugin for testing type checking and stubs using mypy and pytest | 107 |
 aldanor/typo | A package providing runtime type checking for Python functions annotated with argument type hints. | 29 |
 orsinium-labs/typeforce | A tool to simplify Python package maintenance by automating type checking and stub installation. | 19 |
 zeeman/promises | A type checking library for Python that uses a promise-based syntax to validate function arguments and return types. | 0 |
 detachhead/basedpyright | An improved version of Pyright with enhanced type checking and support for popular IDEs | 1,300 |
 emludei/checktype | A decorator that checks function arguments and return types at runtime. | 0 |
 cyrus-/typy | A Python library implementing a fragmentary bidirectional type system with support for pattern matching and algebraic data types. | 52 |
 luttik/auto-optional | Enforces consistent use of optional type annotations in Python code | 17 |