There are 2 repositories under redgifs-downloader topic.
Downloading videos from RedGIFs has never been easier
Redgif Downloader: A Python script to efficiently download videos from Redgifs user profiles using asynchronous programming and the Redgifs API.