<a href="https://tld-list.com" rel="nofollow">https://tld-list.com</a> is the the place to go when needing a domain (although it seems they're having some site issues at the moment).
Does anyone here even use Gandi anymore since they got acquired and hiked their prices to the moon? They want $40/year for a .com now, it's absurd.