I finally got Tic80 to install on a raspberry pi 5 by using the command line to extract the .deb file. (in case any of the 533 people who read my post 14 months ago and never replied were wondering.) But there's no toolbar shortcut, and I don't know where to look for an executable.  All the commands i've tried in the terminal return errors. How do I run this thing?

What output do you get when you attempt to install it via dpkg -i?

You can just install the flatpak or compile it. The binary was built for the older 32-bit raspberry pi computers, I believe. Also, it should should up on the education section of the pi menu.