3 ms·

I wish it supported easy export to MP4.

• taoh 1y ago
  It should be pretty easy to export to MP4, but using SVG will be lighter and faster, which is why we created the dg tool to automatically export to SVG. Please see my previous comments if interested
• jasonjmcghee 1y ago
  You can do it in two commands, but not ideal to need gif as stopgap. agg demo.cast demo.gif ffmpeg -i demo.gif demo.mp4