Where do you sell domains?

We all know where to buy domains. I'm curious to know where people have sold domains? I have the domain micro.dev which is/was being used for a project but I'm now moving on to new things.