The Tic-80 games are free games. Recalbox includes a script that allows you to download the desired games directly from https://tic80.com/.
Via SSH, in the folder /recalbox/share/roms/tic80, type bash recalbox-tic80 to download TIC-80 games easily. You can choose a category of games (demos, others...) or the 5 categories proposed.