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

pico-8
tic80
#1

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

#2

Yes: