I highly doubt it's running on Mars. For one thing, sibling comment has a list of repos that have the badge, and it's a lot of python packages. I suspect it's more along the eath-based infrastructure and data processing side of the equation. Still a pretty cool get, though.