I think a simple solution would be to just write out a picture for every animation frame and then you could use ffmpeg to stitch those together into a gif.
Raylib also has a gif example raylib example screen recording but that uses this small single header c library raylib/examples/core/msf_gif.h at 10a889c482bc001533536162cc2cc9d193845eae · raysan5/raylib · GitHub
I’m working on a controller for a custom PVD (Physical Vapor Deposition) setup do Thin Film Deposition processes in a lab 
The zig part of the program is tasked with talking to the hardware, exposing an interface over SCPI and ensuring guarantees like interlocks, maximum running hours for each device, ect.
Zig really turned out to be the perfect solution for this task - python doesn’t have many hardware vendor libraries, and thanks to zig’s excellent C interop i can use battle tested libraries like libscpi or nanomodbus. Additionally thanks to the new IO interface it is trivial to write tests for the hardware communication (as it is abstracted over Io.File). io.concurrent and Io.Queue make splitting each piece of hardware code into its own task very easy, while tagged unions are great at expressing the FSMs that are at the core of each device. The program also does zero allocations after startup!
live and shared