GitHub repository: G-dH/custom-hot-corners
Primary language: JavaScript
Description: A GNOME Shell Extension for customizable hot corners.