Dexed is a really good implementation of the DX7, and there are thousands of "cartridges" to be found online packed with presets for it.
For what it's worth, being "that good" is relatively easy for a DX7 compared to other synthesizers since it's a purely digital design and the algorithms (in the software, not FM sense) are pretty straightforward. It's not like emulating, say, an Ensoniq SQ-80, where you have to emulate analog filters which always involves a level of compromise and approximation.