A GNOME Shell Extension for customizable hot corners.
Download the extension from the GNOME extension website or install the extension from the git repository with the following steps (which require the GNU Build System):
autoreconf -i
./configure
make local-install