It doesn't currently have it built in, but it would be trivial to add since it
uses ffmpeg to export the video to mp4. Here is where the command is executed:
<https://github.com/EriKWDev/nanim/blob/c59154fc3e99025b8c7109e1598716ceda2b1fa6/src/nanim/rendering.nim#L204>
I currently convert the final video to a gif using ffmpeg. The following bash
script to convert all files .mp4 in the folder to gifs
for f in ./*.mp4; do
ffmpeg -i "$f" -vf
"fps=22,scale=340:-1:flags=lanczos,split[s0][s1];[s0]palettegen[p];[s1][p]paletteuse"
-loop 0 "${f%.*}.gif"
done
Run