Oh, some classic mice of a previous generation.

I can spot two three-button Logitech PilotMouse. It was OEM'ed for many brands (SGI, DEC, ...) and also very common standalone.

The Sun mouse is probably an optical one made by Mouse Systems. I think it is the one in the same style with ball that is rare.