https://gbatemp.net/threads/3ds-video-beta.315365/
3DSExplorer can do it to, IIRC, but I used this for some Whose Line is it Anyways? videos way back in the day, and it worked well.
You'll need to place them in the DCIM folder along with your pictures, but once converted through that, you'll be able to play 'em.