Thanks - I think the interesting part is converting the animations to mp4 which I do by loading the animation engine in node and using node-canvas to render each frame. Then I stitch those together and add sound with ffmpeg.
I didn't use a framework for the editor. It's just a lot of jQuery and CAAT.js (a scene-graph animation library).