Focus Timer (formerly GNOME Pomodoro) is a time management utility for GNOME that helps you stay focused using the pomodoro technique. It features a timer with customizable durations, desktop notifications, and integration with the GNOME Shell. focustimerhq/FocusTimer