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: about 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. | 450 |
 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 | A library that provides runtime-checkable type protocols for operator overloading in Python | 24 |
 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 | 142 |
 kotlinisland/basedmypy | A Python static type checker with additional features to improve typing and error reporting. | 148 |
| 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 | 93 |
 hauntsaninja/useful_types | Provides commonly used data structures and protocols in Python to improve code clarity and maintainability | 115 |
 wishtack/pysynthetic | A set of tools that simplify Python class creation by reducing boilerplate code and enforcing type checking. | 15 |
 typeddjango/djangorestframework-stubs | Mypy stubs for Django REST Framework to support type hinting and static typing | 458 |
| ilevkivskyi/typing_inspect | Provides utilities for inspecting and analyzing Python types at runtime | 352 |
 haiiliin/abqpy | Provides type hints and APIs to simplify Abaqus/Python scripting | 201 |
 maaslalani/typer | A terminal-based typing test tool with customizable settings and word sources. | 477 |
 reokatoa/koreksyon | Tools for developing and implementing spell-checking and grammar-checking capabilities in low-resource languages. | 3 |