Service to generate mp4 files from JSON animation specs from Code.org projects - View it on GitHub