Every string brand worth buying makes sets like that, obviously D'ad and EB are the most ubiquitous, but I would bet that just about every manufacturer has some form of light top/heavy bottom strings.
Now what's hard to find is the opposite, my favorite set is light top heavy bottom. Specifically 11's for the e, b and g and 9's for d, a and E.
That sh!t is nearly impossible to find, whenever I gig I buy two sets of EBs and create this custom set. If I could afford it I would do that all the time.
Alas, nobody seems to share my love of weird string gauges...