GitHub repository: org-acidburn0zzz/win-gnome
Description: A gnome-shell style hotcorner for Windows 10, plus hides Windows Taskbar when not active