Any good open source or libre video editors for Android?

Couldn't find anything on F-Droid. Was wondering if there even is an open-source video editor available for Android.