[mifix]

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.

[acelik]

You must be right, as a non-engineer I probably caught the wrong name during the conversation.