This might be a plug, but I do think resin.io fits the list. We have ported docker to ARM devices and are using it to build a dead easy way to program and deploy to things like the raspberry pi with a simple git push.