@uxor I use the #wxmaxima #frontend which has an additional function called #with_slider in which you can create an animation as a parameter is varied. It's a simple matter of exporting that as an #animated #gif.
#wxmaxima #frontend #with_slider #animated #gif