Magento 2 an extension to filter stores by zip-code or address

[don]

I’ve used the POS extension for store locations. https://www.wyomind.com/magento2/point-of-sale-magento.html Sounds like it should fulfil your requirement