optype
Type protocol library
A library that provides runtime-checkable type protocols for operator overloading in Python
Opinionated typing package for precise type hints in Python
21 stars
2 watching
1 forks
Language: Python
last commit: about 20 hours ago
Linked from 1 awesome list
numpypep484pythonpython-typespython-typing
typeddjango/awesome-python-typingRelated projects:
| Repository | Description | Stars |
|---|---|---|
 stewori/pytypes | Provides runtime typechecking and annotation tools for Python to enforce strict type compatibility | 201 |
 orsinium-labs/infer-types | A CLI tool to automatically add type annotations into Python code | 86 |
 kracekumar/python-typing-koans | A learning tool to help developers understand type hints in Python by fixing errors and annotating code | 119 |
 typesplainer/typesplainer | An interactive tool to explain and describe types in Python code | 82 |
 wishtack/pysynthetic | A Python toolset that simplifies class writing and adds strict type checking. | 15 |
 jellezijlstra/autotyping | Automatically adds type annotations to code | 241 |
 quora/pyanalyze | A tool to analyze Python code for type errors and other issues | 347 |
 python/typing_extensions | A module that provides experimental type hints and enables use of new type system features on older Python versions. | 446 |
 mariusvniekerk/pytest-monkeytype | A pytest plugin that generates annotations and stubs for Python modules based on their type definitions | 43 |
 rustedpy/maybe | Provides an Option type inspired by Rust for Python 3 | 69 |
 zeeman/promises | A type checking library for Python that uses a promise-based syntax to validate function arguments and return types. | 0 |
 dropbox/pyannotate | A tool to automatically add type annotations to Python code based on runtime call arguments and return types. | 1,428 |
| orsinium-labs/typeforce | A tool to simplify Python package maintenance by automating type checking and stub installation. | 19 |
 kotlinisland/basedtyping | A collection of helpers and utilities to aid in dealing with types at static analysis and runtime. | 9 |