Does your student project require I/O interfacing to external devices? The HP-64000 can run 8051 code without being attached to any target hardware. I seem to remember it having a simulated screen, keyboard, file(?) I/O capability. I never used the simulated I/O though.