Wow that's pretty cool! What library did you use for this? Because it would be cool to call out any Open Source projects you used, to give back recognition to the Open Source contributors
Yes, we primarily rely on MoviePy (https://github.com/Zulko/moviepy/) to do the heavy lifting on the actual native video editing part of it. It's an awesome library!
I'd assume `ffmpeg` is doing most of the heavy lifting and possibly some imagemagick/graficsmagick.