One question out of curiosity: Which library did u use for the graphics?

Proudly built with Ratatui: https://github.com/ratatui/ratatui :)

The graphics themselves are basically handmade pixel-by-pixel, you can take a look in the assets folders to get an idea.

For example, pirate images are generated by combining the different parts and then applying a color mapping for the different skin tones.

Planet gifs are adapted starting from https://deep-fold.itch.io/pixel-planet-generator