A type wrapper for the standard library `datetime` that supplies stricter checks, such as making 'datetime' not substitutable for 'date', and separating out Naive and Aware datetimes into separate, mutually-incompatible types.

datetime python time typing
1 Open Issue Need Help Last updated: Jul 25, 2026

Open Issues Need Help

View All on GitHub
good first issue

A type wrapper for the standard library `datetime` that supplies stricter checks, such as making 'datetime' not substitutable for 'date', and separating out Naive and Aware datetimes into separate, mutually-incompatible types.

Python
#datetime#python#time#typing