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!