Many of the questions asking how to create an animated gif from a set of png images suggest to use a variant of ImageMagick's convert command:
convert -delay 2 -loop 0 *.png animated.gif
However, I have a few thousand images and thus convert uses up all my memory, swap, and then crashes. What alternative software exists, which is more memory-conscious? I could use another open format if .gif is not supported, and I do prefer a CLI tool.