Docker Registry is a service which you can push Docker images to for storage and sharing. It is also the tool's name.
Docker registry services are provided as hosted or self-hosted services by various vendors:
Self-hosted:
Hosted
All of them comply either to v1 or v2 of the Docker registry API specification.
Docker Registry tool is at https://github.com/docker/docker-registry.