CoreOS is a Linux distribution which was originally designed to _run_ Docker. So it's not really an alternative to Docker.

I guess they meant Rocket (https://github.com/coreos/rocket). Rocket is an app container runtime similar to Docker, which is developed by the CoreOS group.