Add Forth to your list. There's 1 or 2 CPU's out there that came with a Forth engine in hardware (iirc). And there's some chips heavily optimized to run Forth systems (see eg. GreenArrays GA144. Sadly seems to be defunct these days?).

https://en.wikipedia.org/wiki/GA144

As for your original question: you might want to have a look at languages that overlap the border between 'traditional' PLs, and hardware description languages. Or hardware/software co-design, and tools used in that field. Edit: also see Oberon.

> The only example I know of is the one that runs Java bytecode

https://en.wikipedia.org/wiki/Jazelle

Probably implemented in billions of ARM cores out there. Unsure how much use it sees though.