The big advantage of TIC-80 over PICO-8 is that TIC-80 is completely usable in the browser. That means it will run on anything with a browser, such as Chromebooks.
TIC-80 is a great way to introduce students to programming actual commands, not blocks like Scratch. That means the learning curve is a steeper, but, TIC-80 can also do way more. To see what is possible, check out some of games published on itch.io.