python-typing-koans
Type hinting practice
A learning tool to help developers understand type hints in Python by fixing errors and annotating code
Python typing koans to learn type-hints in Python3 using Mypy
119 stars
5 watching
10 forks
Language: Python
last commit: almost 3 years ago
Linked from 1 awesome list
koansmypypep-484pythonpython3type-hints
Related projects:
| Repository | Description | Stars |
|---|---|---|
 python/typing_extensions | A module that provides experimental type hints and enables use of new type system features on older Python versions. | 444 |
 bojiang/typing_utils | A set of utilities to work with type hints in Python 3.6+, including checking subtype relationships and extracting type information from objects. | 12 |
 jorenham/optype | An opinionated typing package that simplifies type hints in Python by providing protocols for special methods like multiplication and addition | 15 |
 prettywood/future-typing | Library providing type hinting generics support for Python 3.6 to 3.8 and 3.9+ for union types and standard collections. | 19 |
 ilevkivskyi/com2ann | Translates type comments to type annotations in Python source code | 141 |
 kotlinisland/basedmypy | A Python type checker built to resolve issues with the mypy project and Python's typing system | 143 |
| kotlinisland/basedtyping | A collection of helpers and utilities to aid in dealing with types at static analysis and runtime. | 9 |
 django-commons/django-typer | Provides a standardized interface for managing Django commands using Type hints and Typer | 84 |
 hauntsaninja/useful_types | Provides commonly used data structures and protocols in Python to improve code clarity and maintainability | 99 |
 wishtack/pysynthetic | Tools to simplify Python class creation with type checking and strict contract enforcement | 15 |
 typeddjango/djangorestframework-stubs | Mypy stubs for Django REST Framework to support type hinting and static typing | 453 |
| ilevkivskyi/typing_inspect | Provides utilities for inspecting and analyzing Python types at runtime | 350 |
 haiiliin/abqpy | Provides type hints and APIs for scripting with Abaqus | 194 |
 maaslalani/typer | A terminal-based typing test tool with customizable settings and word sources. | 476 |
 reokatoa/koreksyon | Tools for developing and implementing spell-checking and grammar-checking capabilities in low-resource languages. | 3 |