Yes. Most of the good TRS-80 emulators I've seen are proprietary. There's xtrs in the Debian repos but last time I tried it, it was pretty bare bones and not very accurate.
Edit: There's also MAME of course but it's a bit clunky to use.
Edit: There's also MAME of course but it's a bit clunky to use.
Though, to be sure, most often TRS-80 is used to refer to the Model 1, 3, 4 line. But plenty of people will think of the Color Computer when they hear TRS-80. Or, possibly, their line of rebranded pocket and laptop computers like the TRS-80 Model 100 or TRS-80 Pocket Computer 1.
I like the way MAME strives for accuracy above all else. I often wonder if it wouldn't be possible to compile MAME's source into some HDL and burn drivers into programmable hardware on demand.
Like MiSTer FPGA? It seems to provide FPGA implementations for a number of vintage microcomputer and game systems:
That being said, what I think you might be suggesting is that the declarative structural and signaling specification (and possibly data types, etc.) could be shared between software emulators like MAME and FPGA emulators like MiSTer FPGA.
I like the way Migen (for example) acts as an integration platform for multiple hardware models and makes it easier to specify a system from existing components.