There is news about the runnability of TIC-80. In the meantime, there is a libretro core. Maybe there is still the possibility to implement this? Even after two years, I have not given up my hopes. :D

https://www.youtube.com/watch?v=wj_4rKmdpfc
https://github.com/nesbox/TIC-80/pull/846