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

GitHub

119 stars
5 watching
10 forks
Language: Python
last commit: about 3 years ago
Linked from 1 awesome list

koansmypypep-484pythonpython3type-hints

Backlinks from these awesome lists:

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