Check Paladin. It's portuguese and we know our spicy sauces. The company is family owned and their products are essentially gold standard in Portugal. They mostly export their name brand but supply supermarket chains with store brand products.
A lot of people are recommending very different types of hot sauce. Are you looking for something with a primarily tobasco flavor? Not that I have any recommendations if you do, but it might help focus the suggestions being given.
I'm biased, but I prefer Portuguese piri-piri sauce to Tabasco. If you want something fancier I can also recommend Crazy Bastard sauces which are made in Berlin..