Оказывается, есть очень простой гайд про то, как записывать гифки прямо из онлайнового редактора p5. https://vple.me/posts/animated-gifs-from-p5js/