GitHub repository: serj-p/gnome-shell-ping-monitor-applet
Description: A Gnome Shell Extension to ping multiple hosts.