Mypy

PythonRoboticsAtsushiSakai/PythonRobotics

A comprehensive collection of Python sample codes and a textbook for robotics algorithms, covering localization, mapping, SLAM, path planning, and control.

PythonRoboticsAtsushiSakai/PythonRobotics

A Python code collection and textbook for robotics algorithms, featuring implementations for localization, mapping, SLAM, path planning, and control.

Strawberry GraphQLstrawberry-graphql/strawberry

A Python GraphQL library that uses type annotations and dataclasses to define schemas with static type checking.

returnsdry-python/returns

A Python library for functional programming with typed, safe, and meaningful function returns using monadic containers.

pg_activityjulmon/pg_activity

A top-like command-line tool for real-time monitoring of PostgreSQL server activity.

thincexplosion/thinc

A lightweight deep learning library with a functional API for composing models, compatible with PyTorch, TensorFlow, and MXNet.

refurbdosisod/refurb

A Python linter focused on modernizing and improving code elegance, readability, and simplicity.

wemake-django-templatewemake-services/wemake-django-template

A bleeding-edge Django project template focused on code quality, security, and modern development practices.

django-stubstypeddjango/django-stubs

PEP-484 type stubs and a mypy plugin for precise static type checking in Django projects.