GIF Animator is a digital animation application or website used to generate and edit animated GIFs. It allows users to create animated GIFs from scratch, or by importing existing images, videos, and other media. The application provides tools for adding effects, editing frames, and controlling the animation’s timing. It also allows users to optimize their GIFs for different platforms, and share them online. GIF Animator can be used to create banners, logos, digital artwork, marketing materials, and more.
The last discontinued version, 1.0.101, was released in 1996. You can still download the configuration file, see it in the comments.