The main program I used was TuxGuitar [1]. I felt it suited my purposes - I could work out the rhythm and positioning with this program and play files in various formats. The sound quality and features were adequate - sort of a low-fi MIDI sound where different timbres and instruments could be selected. It looks like it may not be a maintained product, but the source is available if you want to tinker with it [2].
Another program that my friends used to use is Power Tab. The original programs look to be abandoned, but it seems that an open-source implementation is actively maintained here. [3]
There is a commercial product called Guitar Pro, but I felt the open-source packages were good enough. Guitar Pro also had an active community (maybe it still does), and many users would contribute their own tabs in Guitar Pro's file format (.gp3, .gp4, etc.) which I would read and edit with TuxGuitar. It used to be pretty easy to find these files available online, but I suspect copyright holders cracked down on these communities much like they did with OLGA.
(Disclaimer: I help make it)
https://theriffrepeater.com/rocksmith-announces-new-rocksmit...
Because tabs for pretty much anything are fairly easy to find nowadays... except even better: dynamic tabs are very much in the vogue now (tabs with multiple tracks that you can instantly play and verify if it’s good by how it sounds). You can loop certain parts, slow them down, etc for effective practicing.