I'm not aware of there being a special build targeting riscv - maybe some searching around could find someone who did one? Other than that, I guess you could try compiling the source yourself - I guess that could end up being an exercise in itself.
Personally, I started developing in Godot, just fired up a tutorial two months ago and went from there, so unfortunately I am not that familiar with tic80 beyond a very superficial level :/