Can I add tic 80 to my gameshell as an alternative to pico8

I want to make games on my gameshell but I don’t really want to spend £15 so can I add tic 80

Yes: