Angelo and I decided to make a replica driven by a innovative type of emulator: though ported to C, it does not emulate the machine at the logic level, but on the circuit level.
https://github.com/davepinch/pinchy.cc/blob/master/content/topics/computers/systems/pdp-1/replica/hackaday.io.md