classes
Type system extension
Enables typed polymorphism and type-safe business logic in Python without inheritance or interfaces.
Smart, pythonic, ad-hoc, typed polymorphism for Python
678 stars
15 watching
25 forks
Language: Python
last commit: almost 2 years agofpmypymypy-pluginsmypy-stubspep561pythonpython3typeclassestypesafety
Related projects:
| Repository | Description | Stars |
|---|---|---|
 ambv/retype | Re-applies type annotations from .pyi stubs to codebases | 141 |
 rustedpy/maybe | Provides an Option type inspired by Rust for Python 3 | 71 |
 typeddjango/pytest-mypy-plugins | A plugin for testing type checking and stubs using mypy and pytest | 107 |
 kotlinisland/basedmypy | A Python static type checker with additional features to improve typing and error reporting. | 148 |
 mplanchard/safetywrap | Typesafe wrappers for handling errors and absent data in Python | 44 |
| rustedpy/result | A library providing a simple, type-safe way to handle values with potential errors in Python 3. | 1,625 |
 jorenham/scipy-stubs | Provides type hints and auto-completion support for SciPy libraries without requiring additional configuration or static type-checker plugins. | 23 |
| typeddjango/django-stubs | Provides precise static types and type inference for Django framework | 1,630 |
| kotlinisland/basedtyping | A collection of helpers and utilities to aid in dealing with types at static analysis and runtime. | 9 |
 pvs-hd-tea/pytypes | Infer static type information from Python code by tracing execution paths | 11 |
 dropbox/sqlalchemy-stubs | Provides type stubs and plugins to improve static typing for SQLAlchemy-based applications | 571 |
 jellezijlstra/autotyping | Automatically adds type annotations to code | 241 |
 antonagestam/phantom-types | Phantom types enable safe parsing and validation of data by making certain states unrepresentable at compile time | 205 |
 orsinium-labs/typeforce | A tool to simplify Python package maintenance by automating type checking and stub installation. | 19 |
 shoobx/mypy-zope | A plugin to enable type checking of Zope interface implementations in mypy. | 39 |