Openshot and Kdenlive I'm familiar with (I've used the first in an earlier version, and the latter I know by the name, but have never used) - but the others are new to me. I'm sure there are still more than these, too.
Also Blender (most likely). It supports video editing and general vfx, not just 3d asset building. It's also being used professionally for this purpose in a few places too!
https://www.lifewire.com/best-linux-video-editors-4176979
Openshot and Kdenlive I'm familiar with (I've used the first in an earlier version, and the latter I know by the name, but have never used) - but the others are new to me. I'm sure there are still more than these, too.