GitHub repository: Acidburn0zzz/Animation-Tweaks
Description: A GNOME Shell Extension to Tweak animations and customize them