Thanks! The music player is spotify-player. It depends on a paid spotify subscription but I’m ok with that atm. For local audio files, I like termusic too

This might not be exactly what you’re looking for, but its worth giving a shot. A collection of TUI based games