Have you tried the Byte Book of Pascal?
https://archive.org/details/the-byte-book-of-pascal
It has the 8080 runtime and a basic program to convert the pcode to 8080 assembly.
Andy
I found another version of Tiny-Pascal for the Compucolor computer: see http://www.compucolor.org/vmedia.html?diskname=vmedia%2Ftiny_pascal.ccvf.zip It opens a web page.
Andy
