What I have made I’ve done directly in PICO-8, but pixel artists contribute some of the sprites, and I think they use Aseprite.