Are there any simulator programs for Linux like Proteus for Windows to simulate an AVR microcontroller using .hex file?
Yes there is. Many, but you will find none of them won't do exactly what Proteus does. Some only emulate the AVR itself. Some have a schematic editor so you can attach other components to it like in Proteus. For example SimulIDE and simutron.